Generation of safe operation sequences using iterative refinements and abstractions of timed automata.

Thomas Cochard, David Gouyon, Jean-Franois Ptin

Browse the full ETFA paper archive.