A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking.
Michaela KlauckHolger HermannsPublished in: QEST (2021)
Keyphrases
- heuristic search
- model checking
- temporal logic
- probabilistic planning
- search algorithm
- state space
- formal verification
- temporally extended goals
- constraint satisfaction
- symbolic model checking
- automated verification
- search space
- model checker
- formal specification
- finite state
- verification method
- temporal properties
- planning problems
- ai planning
- dynamic environments
- bidirectional search
- path finding
- epistemic logic
- formal methods
- search strategies
- bounded model checking
- search problems
- computation tree logic
- beam search
- admissible heuristics