Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications.
Josefine B. GraebenerApurva S. BadithelaDenizalp GoktasWyatt UbellackerEric V. MazumdarAaron D. AmesRichard M. MurrayPublished in: CoRR (2024)
Keyphrases
- reactive systems
- temporal logic
- decision making
- model checking
- modal logic
- transition systems
- concurrent systems
- information flow
- dynamic constraints
- model checker
- petri net
- formal specification
- linear temporal logic
- bounded model checking
- formal specification language
- real time systems
- satisfiability problem
- mazurkiewicz traces
- temporally extended
- verification method
- knowledge based systems