Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro. A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. In 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013. pages 99-106, IEEE, 2013. [doi]
Abstract is missing.