Pruning State Spaces with Extended Beam Search

DOI10.1007/978-3-540-75596-8_39MaRDI QIDQ3510825zbMATH OpenOpenAlexFDO

Authors Mohammad Torabi Dashti, Anton Wijs

Publication date 3 July 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/13978

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Extended beam search for non-exhaustive state space analysis
• Incremental beam search
• Job shop scheduling with beam search
• Learning linear ranking functions for beam search with application to planning
• A beam search algorithm for PFSA inference

Cited in

(4)

• A beam search algorithm for PFSA inference
• Survey on Directed Model Checking
• Distributed Extended Beam Search for Quantitative Model Checking
• Extended beam search for non-exhaustive state space analysis

This page was built for publication: Pruning State Spaces with Extended Beam Search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510825)