1 code implementation • 11 Aug 2015 • Ioannis Filippidis, Richard M. Murray
This work proposes a symbolic algorithm for the construction of assume-guarantee specifications that allow multiple agents to cooperate.
Logic in Computer Science Systems and Control
