Potency-Based Heuristic Search with Randomness for Explicit Model Checking.
Emil G. HenriksenAlan M. KhorsidEsben NielsenTheodor RisagerJirí SrbaAdam M. StückAndreas S. SørensenPublished in: SPIN (2023)
Keyphrases
- heuristic search
- model checking
- temporal logic
- state space
- formal verification
- search algorithm
- temporal properties
- automated verification
- search space
- formal specification
- constraint satisfaction
- finite state
- model checker
- planning problems
- bounded model checking
- temporally extended goals
- computation tree logic
- path finding
- formal methods
- ai planning
- epistemic logic
- heuristic function
- verification method
- symbolic model checking
- transition systems
- search problems
- beam search
- linear temporal logic
- search strategies
- petri net
- evolutionary algorithm
- artificial intelligence