Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Exploring Very Large State Spaces Using Genetic Algorithms
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ten Years of Partial Order Reduction
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Directed explicit-state model checking in the validation of communication protocols
International Journal on Software Tools for Technology Transfer (STTT)
Optimal scheduling using priced timed automata
ACM SIGMETRICS Performance Evaluation Review
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Scheduling cluster tools using filtered beam search and recipe comparison
WSC '05 Proceedings of the 37th conference on Winter simulation
Computers and Industrial Engineering
Optimal scheduling using branch and bound with SPIN 4.0
SPIN'03 Proceedings of the 10th international conference on Model checking software
Survey on Directed Model Checking
Model Checking and Artificial Intelligence
Towards informed swarm verification
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Hi-index | 0.00 |
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation setting and two new search variants are devised. The resulting framework encompasses some known algorithms, such as A*. We also report on two case studies based on an implementation of beam search in µCRL.