Trace Compaction using SAT-based Reachability Analysis.
Sean SafarpourAndreas G. VenerisHratch MangassarianPublished in: ASP-DAC (2007)
Keyphrases
- reachability analysis
- model checking
- bounded model checking
- markov decision processes
- timed automata
- temporal logic
- answer set programming
- incremental algorithms
- formal verification
- sat solvers
- state space
- version space
- constraint solver
- planning problems
- ai planning
- planning domains
- real time
- boolean satisfiability
- sat encodings
- orders of magnitude
- objective function