Subject
Computer Science Applications,General Mathematics,Software,Control and Systems Engineering
Reference100 articles.
1. Deliberation for autonomous robots: A survey;Ingrand;Artificial Intelligence,2017
2. GenoM3: Building middleware-independent robotic components;Mallet,2010
3. Fiacre: An Intermediate Language for Model Verification in the Topcased Environment;Berthomieu,2008
4. A Survey of Automated Techniques for Formal Software Verification;D’Silva;IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.,2008
5. Formal methods - Practice and experience;Woodcock;ACM Comput. Surv.,2009
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献