Search for persons
X
?
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control ,
2
An improved algorithm for robust safety analysis of sampled..:
, In:
?
Proceedings of the 17th international conference on Hybrid systems: computation and control ,
3
Sampling-based approximation of the viability kernel for hi..:
, In:
?
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control ,
6