Peiming Mo

According to our database, Peiming Mo authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Automatic Verification of Golog Programs via Predicate Abstraction.

Peiming Mo, Naiqi Li, Yongmei Liu

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016