Parallel reachability analysis of hybrid systems in XSpeed

Amit Gurung, Rajarshi Ray 0001, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu. Parallel reachability analysis of hybrid systems in XSpeed. STTT, 21(4):401-423, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.