Author:
Krook Jonas,Kianfar Roozbeh,Fabian Martin
Subject
Control and Systems Engineering
Reference29 articles.
1. Principles of Model Checking (Representation and Mind Series);Baier,2008
2. Bender, P., Ziegler, J., and Stiller, C. (2014). Lanelets: Efficient map representation for autonomous driving. In IEEE Intelligent Vehicles Symposium Proceedings (IV), 420–425. doi:10.1109/IVS.2014.6856487.
3. Bloem, R., Ehlers, R., Jacobs, S., and Könighofer, R. (2014). How to handle assumptions in synthesis. In K. Chatterjee, R. Ehlers, and S. Jha (eds.), Proceedings 3rd Workshop on Synthesis, volume 157 of Electronic Proceedings in Theoretical Computer Science, 34–50. Open Publishing Association, Vienna, Austria.
4. Introduction to Discrete Event Systems;Cassandras,2010
5. European Commission (2019). Guidelines on the exemption procedure for the EU approval of automated vehicles.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献