Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Multi-model approach to discrete events systems: application to operating mode management
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Applications of hybrid reachability analysis to robotic aerial vehicles
International Journal of Robotics Research
Hi-index | 0.00 |