Verifying -Contraction Without Computing -Compounds

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 01, 2024
Source ID
10.1109/tac.2023.3326058

Entities

People

  • Alexander Ovseevich
  • Eyal Bar-Shalom
  • Francesco Bullo
  • Michael Margaliot
  • Omri Dalin
  • Ron Ofir

Organizations

  • Air Force Office of Scientific Research
  • Israel Science Foundation
  • Tel Aviv University
  • University of California, Santa Barbara