Distributed Extended Beam Search for Quantitative Model Checking

DOI10.1007/978-3-540-74128-2_11MaRDI QIDQ5423889zbMATH OpenOpenAlexFDO

Authors Anton Wijs, Bert Lisser

Publication date 1 November 2007

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74128-2_11

zbMATH Keywords

beam searchdirected model checkingdistributed model checkingscheduling

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) Deterministic scheduling theory in operations research (90B35)

Recommendations

• scientific article; zbMATH DE number 1670779
• Extended beam search for non-exhaustive state space analysis
• Distributed algorithms for time optimal reachability analysis
• Pruning State Spaces with Extended Beam Search
• Real-Time Model Checking on Secondary Storage

Cited in

(4)

• Search algorithms for automated validation
• scientific article; zbMATH DE number 1670779 (Why is no real title available?)
• Survey on Directed Model Checking
• Extended beam search for non-exhaustive state space analysis

This page was built for publication: Distributed Extended Beam Search for Quantitative Model Checking

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