S.O.S. for safety

Leader to formation stability

Optimal paths in weighted timed automata