Author:
Girard Antoine,Pappas George J.
Publisher
Springer Berlin Heidelberg
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions;2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2022-10-23
2. Sufficient conditions for satisfaction of formulas with until operators in hybrid systems;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17
3. Bounded model checking of signal temporal logic properties using syntactic separation;Proceedings of the ACM on Programming Languages;2019-01-02
4. Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems;Lecture Notes in Computer Science;2018
5. Hyperproperties of real-valued signals;Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design;2017-09-29