Login / Signup
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications.
Apurva Badithela
Tichakorn Wongpiromsarn
Richard M. Murray
Published in:
CoRR (2021)
Keyphrases
</>
temporal logic
model checking
reactive systems
transition systems
bounded model checking
software engineering
qualitative and quantitative
satisfiability problem