Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68179MaRDI 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

68Q60: Specification and verification (program logics, model checking, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

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