Timed-Automata-Based Verification of MITL over Signals

Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege. Timed-Automata-Based Verification of MITL over Signals. In Sven Schewe, Thomas Schneider 0002, Jef Wijsen, editors, 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. Volume 90 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.