Timed-Automata-Based Verification of MITL over Signals.

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

Browse the full TIME paper archive.