A Metric Temporal Logic for Dealing with Zero-Time Transitions.

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Browse the full TIME paper archive.