Parallel reachability analysis for hybrid systems
Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
15
Citations
(Scopus)