A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic.

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Browse the full TIME paper archive.