Safe & robust reachability analysis of hybrid systems

Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha

Research output: Journal PublicationArticlepeer-review

6 Citations (Scopus)
3 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Safe & robust reachability analysis of hybrid systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science