Formal proof

相关论文数: 1

顶级研究者

François Bonnet

研究机构: —

Ha Thi Thu Doan

研究机构: —

Kazuhiro Ogata

研究机构: —

最高引用论文

Model Checking of Robot Gathering

Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata

引用数: 14 • 2018

相关技术

Artificial intelligenceComputer scienceMathematicsRobotMobile robotTheoretical computer scienceProgramming languageDistributed computingAsynchronous communicationMathematical proof