Conic abstractions for hybrid systems
- Sergiy Bogomolov
- , Mirco Giacobbe*
- , Thomas A. Henzinger
- , Hui Kong
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
6
Citations
(Scopus)