A stochastic reach-avoid problem with random obstacles
Proceedings of the 14th international conference on Hybrid systems: computation and control
Distributed theorem proving for distributed hybrid systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |