Conic abstractions for hybrid systems

S. Bogomolov, M. Giacobbe, T.A. Henzinger, Hui Kong

Computer Science

Research output: Book/Report › Book

Original language	English
DOIs	https://doi.org/10.1007/978-3-319-65765-3_7
Publication status	Published - 2017

Access to Document

10.1007/978-3-319-65765-3_7

Cite this