Publication:3132075
From MaRDI portal
DOI10.13328/j.cnki.jos.005207zbMath1389.68139MaRDI QIDQ3132075
Naijun Zhan, Tao Liu, Shu-Ling Wang
Publication date: 29 January 2018
theorem proving; artificial intelligence; formal verification; hybrid system; robot; hybrid communicating sequential process
93C85: Automated systems (robots, etc.) in control theory
68T40: Artificial intelligence for robotics
Uses Software