Safe & robust reachability analysis of hybrid systems

Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha

Research output: Journal PublicationArticlepeer-review

12 Citations (Scopus)
36 Downloads (Pure)

Fingerprint

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

Keyphrases

Computer Science

Earth and Planetary Sciences