no code implementations • 2 Oct 2015 • Nadeem Akhtar, Malik M. Saad Missen
Formal specifications based on model-checking are flexible, have a concrete syntax, and play vital role in correctness of a multi-agent robotic system.