Pruning State Spaces with Extended Beam Search

DOI10.1007/978-3-540-75596-8_39zbMath1141.68493OpenAlexW2159879965MaRDI QIDQ3510825

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)

Related Items (2)

Extended beam search for non-exhaustive state space analysis ⋮ Survey on Directed Model Checking

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