9 citations · 14 across the 10 of their papers we have counts for
1 paper · 1 filter
Liam P. Burns, Dayse M. Cavalcanti, Felipe G. Cabral +4
Discrete-event systems and supervisory control theory provide a rigorous framework for specifying correct-by-construction behavior. However, their practical application to swarm ro…