Author:
Girard Antoine,Le Guernic Colas,Maler Oded
Publisher
Springer Berlin Heidelberg
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Overcoming Fear of the Unknown: Occlusion-Aware Model-Predictive Planning for Automated Vehicles Using Risk Fields;IEEE Transactions on Intelligent Transportation Systems;2024-09
2. Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets;2024 American Control Conference (ACC);2024-07-10
3. An iterative interval estimation approach to nonlinear discrete-time systems;Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering;2024-05-31
4. Inner and outer approximate quantifier elimination for general reachability problems;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
5. Safety Verification of Closed-loop Control System with Anytime Perception;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13