Publisher
Springer Science and Business Media LLC
Subject
Law,Artificial Intelligence
Reference55 articles.
1. Aladin D, Varlamov O, Chuvikov D, Chernenkiy V, Smelkova E, Baldin A (2019) Logic-based artificial intelligence in systems for monitoring the enforcing traffic regulations. In: IOP conference series: materials science and engineering, Moscow, Russia
2. Alves G, Dennis L (2018) formalization of the Rules of the Road for embedding into an Autonomous Vehicle Agent. https://livrepository.liverpool.ac.uk/3022443/1/vavas-short-paper-2018-Gleifer-Louise-Michael.pdf
3. Alves GV, Dennis L, Fisher M (2019) Formalisation and implementation of road junction rules on an autonomous vehicle modelled as an agent. In: Sekerinski E et al. (eds) Formal methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science., Porto, Portugal
4. Alves GV, Dennis L, Fisher M (2021) A double-level model checking approach for an agent-based autonomous vehicle and road junction regulations. J Sens Actuat Netw. https://doi.org/10.3390/jsan10030041
5. Antoniou G, Billington D, Governatori G, Maher MJ (2001) Representation results for defeasible logic. ACM Trans Comput Logic (TOCL) 2(2):255–287. https://doi.org/10.1145/371316.371517
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献