Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Hsu, A., Eskafi, F., Sachs, S., Varaiya, P.: Design of platoon maneuver protocols for IVHS. PATH Research Report UCB-ITS-PRR-91-6, UC Berkeley (1991)
2. Dowek, G., Muñoz, C., Carreño, V.A.: Provably safe coordinated strategy for distributed conflict resolution. In: AIAA Proceedings, AIAA-2005-6047 (2005)
3. Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278–292. IEEE, Los Alamitos (1996)
4. Lecture Notes in Computer Science;P.C. Attie,2001
5. Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reas. 41(2), 143–189 (2008)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Embedding Differential Dynamic Logic in PVS;Electronic Proceedings in Theoretical Computer Science;2024-04-23
2. A Temporal Differential Dynamic Logic Formal Embedding;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques;IEEE Open Journal of Vehicular Technology;2024
4. Type-Based Verification of Delegated Control in Hybrid Systems;Lecture Notes in Computer Science;2024
5. From post-conditions to post-region invariants;Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control;2021-05-19