MightyL: A Compositional Translation from MITL to Timed Automata.

Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege

Browse the full CAV paper archive.