Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. Alur R, Henzinger T, Kupferman O (2002) Alternating-time temporal logic. J ACM 49(5):672–713
2. Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani SK, Tasiran S (1998) Mocha: modularity in model checking. In: Proceedings of the tenth international conference on computer-aided verification (CAV 1998), Lecture Notes in Computer Science, vol 1427. Springer, New York, pp 521–525
3. Baier C, Katoen JP (2008) Principles of model checking. MIT Press, Cambridge
4. Belnap N, Perloff M, Xu M (2001) Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford
5. Lecture Notes in Computer Science;A Bianco,1995
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Robotics, artificial intelligence and criminal law: An overview of contemporary studies;VII INTERNATIONAL CONFERENCE “SAFETY PROBLEMS OF CIVIL ENGINEERING CRITICAL INFRASTRUCTURES” (SPCECI2021);2023
2. Group Agency and Artificial Intelligence;Philosophy & Technology;2021-08-04
3. From robotics technology to environmental crimes involving robots;E3S Web of Conferences;2021
4. Only Can AI Understand Me?;Advances in Data Mining and Database Management;2021
5. On the problem of making autonomous vehicles conform to traffic law;Artificial Intelligence and Law;2017-08-31