Author:
Askarpour Mehrnoosh,Mandrioli Dino,Rossi Matteo,Vicentini Federico
Publisher
Springer International Publishing
Reference45 articles.
1. The Zot bounded satisfiability checker. http://github.com/fm-polimi/zot
2. Anderson, J.R.: ACT: a simple theory of complex cognition. Am. Psychol. 51, 355–365 (1996)
3. Askarpour, M.: Risk assessment in collaborative robotics. In: Proceedings of FM-DS (2016)
4. Lecture Notes in Computer Science;M Askarpour,2016
5. Baier, C., Katoen, J.P.: Principles of Model Checking (2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献