Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5897962
DOI10.1007/11603009zbMath1175.68239OpenAlexW2493457341MaRDI QIDQ5897962
Husain Aljazzar, Stefan Leue, Holger Hermanns
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11603009
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (8)
Counterexamples in Probabilistic LTL Model Checking for Markov Chains ⋮ Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking ⋮ K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths ⋮ Probabilistic CEGAR ⋮ Generating counterexamples for quantitative safety specifications in probabilistic B ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Survey on Directed Model Checking
This page was built for publication: Formal Modeling and Analysis of Timed Systems
