Distributed Extended Beam Search for Quantitative Model Checking

DOI10.1007/978-3-540-74128-2_11zbMath1196.90052OpenAlexW2167298033MaRDI QIDQ5423889

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

schedulingbeam searchdistributed model checkingdirected model checking

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

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

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