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

Dejan Nickovic (Speaker), Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
Pages303-319
Number of pages17
Publication statusPublished - 2018
EventTACAS 2018 -
Duration: 14 Apr 201820 Apr 2018

Conference

ConferenceTACAS 2018
Period14/04/1820/04/18

Research Field

  • Dependable Systems Engineering

Cite this