Author:
Hilscher Martin,Linker Sven,Olderog Ernst-Rüdiger,Ravn Anders P.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lygeros, J., Godbole, D.N., Sastry, S.S.: Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control 43, 522–539 (1998)
2. Jula, H., Kosmatopoulos, E.B., Ioannou, P.A.: Collision avoidance analysis for lane changing and merging. Technical Report UCB-ITS-PRR-99-13, California Partners for Advanced Transit and Highways (PATH), Univ. of California at Berkeley (1999)
3. Werling, M., Gindele, T., Jagszent, D., Gröll, L.: A robust algorithm for handling traffic in urban scenarios. In: Proc. IEEE Intelligent Vehicles Symposium, Eindhoven, The Netherlands, pp. 168–173 (2008)
4. Damm, W., Hungar, H., Olderog, E.R.: Verification of cooperating traffic agents. International Journal of Control 79, 395–421 (2006)
5. Moor, T., Raisch, J., O’Young, S.: Discrete supervisory control of hybrid systems based on l-complete approximations. Discrete Event Dynamic Systems 12, 83–107 (2002)
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Monitoring of spatio-temporal properties with nonlinear SAT solvers;International Journal on Software Tools for Technology Transfer;2024-02-22
2. Enforcing Timing Properties in Motorway Traffic;Electronic Proceedings in Theoretical Computer Science;2023-11-15
3. Correct by design coordination of autonomous driving systems;International Journal on Software Tools for Technology Transfer;2023-11-02
4. Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
5. Optimal safe driving dynamics for autonomous interacting vehicles;Natural Computing;2023-09-01