Login / Signup

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

Dejan NickovicOlivier LebeltelOded MalerThomas FerrèreDogan Ulus
Published in: TACAS (2) (2018)
Keyphrases
  • qualitative and quantitative
  • temporal logic
  • model checking
  • modal logic
  • temporal reasoning
  • complex systems
  • satisfiability problem
  • temporal knowledge