10 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
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…