Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.

Carlo A. Furia, Matteo Pradella, Matteo Rossi

Browse the full FM paper archive.