Model Checking MITL formulae on Timed Automata: a Logic-Based Approach

Claudio Menghi, Marcello Bersani, Matteo Rossi, Pierluigi San Pietro
January 2020
Type
Journal article
Publication
ACM Transactions on Computational Logic