SAT-Based Automata Construction for LTL over Finite Traces.
Yingying ShiShengping XiaoJianwen LiJian GuoGeguang PuPublished in: APSEC (2020)
Keyphrases
- bounded model checking
- finite automata
- deterministic automata
- linear temporal logic
- model checking
- temporal logic
- formal verification
- probabilistic automata
- regular expressions
- construction process
- ai planning
- version space
- multi agent systems
- finite state machines
- cellular automata
- classical planning
- finite state
- answer set programming
- satisfiability problem
- np complete