---
res:
  bibo_abstract:
  - We introduce in this paper   AMT 2.0 , a tool for qualitative and quantitative
    analysis of hybrid continuous and Boolean signals that combine numerical values
    and discrete events. The evaluation of the signals is based on rich temporal specifications
    expressed in extended Signal Temporal Logic (xSTL), which integrates Timed Regular
    Expressions (TRE) within Signal Temporal Logic (STL). The tool features qualitative
    monitoring (property satisfaction checking), trace diagnostics for explaining
    and justifying property violations and specification-driven measurement of quantitative
    features of the signal.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Dejan
      foaf_name: Nickovic, Dejan
      foaf_surname: Nickovic
      foaf_workInfoHomepage: http://www.librecat.org/personId=41BCEE5C-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Olivier
      foaf_name: Lebeltel, Olivier
      foaf_surname: Lebeltel
  - foaf_Person:
      foaf_givenName: Oded
      foaf_name: Maler, Oded
      foaf_surname: Maler
  - foaf_Person:
      foaf_givenName: Thomas
      foaf_name: Ferrere, Thomas
      foaf_surname: Ferrere
      foaf_workInfoHomepage: http://www.librecat.org/personId=40960E6E-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0001-5199-3143
  - foaf_Person:
      foaf_givenName: Dogan
      foaf_name: Ulus, Dogan
      foaf_surname: Ulus
  bibo_doi: 10.1007/978-3-319-89963-3_18
  bibo_volume: 10806
  dct_date: 2018^xs_gYear
  dct_identifier:
  - UT:00445822600018
  dct_language: eng
  dct_publisher: Springer@
  dct_title: 'AMT 2.0: Qualitative and quantitative trace analysis with extended signal
    temporal logic@'
...