Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68179OpenAlexW2739785336MaRDI QIDQ5899070

Mahesh Viswanathan, Koushik Sen, Gul A. Agha

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (25)

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities ⋮ Lumpability for uncertain continuous-time Markov chains ⋮ Model Checking Probabilistic Systems ⋮ Interval iteration algorithm for MDPs and IMDPs ⋮ Least upper bounds for probability measures and their applications to abstractions ⋮ Reachability analysis of uncertain systems using bounded-parameter Markov decision processes ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ A game-based abstraction-refinement framework for Markov decision processes ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Precise parameter synthesis for stochastic biochemical systems ⋮ Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination ⋮ Quantitative analysis of interval Markov chains ⋮ Consistency and refinement for interval Markov chains ⋮ Three-valued abstraction for probabilistic systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sampling-Based Verification of CTMCs with Uncertain Rates ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ Opacity for linear constraint Markov chains ⋮ Constraint Markov chains ⋮ Reachability in parametric interval Markov chains using constraints ⋮ Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates ⋮ Probabilistic model checking of biological systems with uncertain kinetic rates ⋮ Unnamed Item

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems