Formal proof

Related papers: 1

Top Researchers

François Bonnet

Institution: —

Ha Thi Thu Doan

Institution: —

Kazuhiro Ogata

Institution: —

Top Cited Papers

Model Checking of Robot Gathering

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

Citations: 14 • 2018

Related Technologies

Artificial intelligence Computer science Mathematics Robot Mobile robot Theoretical computer science Programming language Distributed computing Asynchronous communication Mathematical proof