Login / Signup

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications.

Apurva BadithelaTichakorn WongpiromsarnRichard M. Murray
Published in: CDC (2021)
Keyphrases
  • temporal logic
  • model checking
  • bounded model checking
  • reactive systems
  • satisfiability problem
  • qualitative and quantitative
  • petri net
  • model checker
  • transition systems
  • linear temporal logic