Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Verification of logic controllers for continuous plants using timed condition/event-system models
Automatica (Journal of IFAC)
A box-based distance between regions for guiding the reachability analysis of spaceex
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Finite automata with time-delay blocks
Proceedings of the tenth ACM international conference on Embedded software
| Hi-index | 0.00 |