Affiliation:
1. National Institute of Advanced Industrial Science and Technology
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference27 articles.
1. [1] M. Luckcuck, M. Farrell, L. Dennis, C. Dixon, and M. Fisher, “Formal Specification and Verification of Autonomous Robotic Systems: A Survey,” arXiv:1807.00048, 2019.
2. [2] C.A.R. Hoare, “Communicating sequential processes,” Communications of the ACM, vol.21, no.8, pp.666-677, 1978. 10.1145/359576.359585
3. [3] A.W. Roscoe, The Theory and Practice of Concurrency, Prentice Hall, 1998.
4. [4] A.W. Roscoe, “Understanding Concurrent Systems,” Springer, 2010. 10.1007/978-1-84882-258-0
5. [5] University of Oxford, “FDR4-The CSP Refinement Checker.” https://www.cs.ox.ac.uk/projects/fdr/
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A framework for formal verification of robot kinematics;Journal of Logical and Algebraic Methods in Programming;2024-06
2. Formal Verification of Merging Arbitration Control System for Logistics Robots;2024 IEEE/SICE International Symposium on System Integration (SII);2024-01-08