Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications.
Raphaël KhourySylvain HalléPublished in: IRI (2018)
Keyphrases
- bounded model checking
- quantitative evaluation
- model checking
- linear temporal logic
- temporal logic
- transition systems
- deterministic automata
- linear time temporal logic
- ground truth
- formal verification
- formal specification
- ground truth data
- concurrent systems
- error measure
- temporally extended goals
- multi agent systems
- formal semantics
- low level