AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.

Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrre, Dogan Ulus

Browse the full TACAS paper archive.