Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL.

Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat

Browse the full SAFECOMP paper archive.