1 paper
Nadeem Akhtar, Malik M. Saad Missen
It is important to have multi-agent robotic system specifications that ensure correctness properties of safety and liveness. As these systems have concurrency, and often have dynam…