scientific article; zbMATH DE number 1361118
From MaRDI portal
Publication:4270052
zbMath0949.93082MaRDI QIDQ4270052
Publication date: 10 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stochastic systems and control (93E99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Categorical foundations for randomly timed automata, State explosion in almost-sure probabilistic reachability, Automatic verification of concurrent stochastic systems, Concavely-Priced Probabilistic Timed Automata, Performance analysis of probabilistic timed automata using digital clocks, A game-based abstraction-refinement framework for Markov decision processes, A Tutorial on Interactive Markov Chains, Parametric probabilistic transition systems for system design and analysis, Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes, Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata, On probability-raising causality in Markov decision processes, Foundations of probability-raising causality in Markov decision processes, Percentile queries in multi-dimensional Markov decision processes, Maximizing the Conditional Expected Reward for Reaching the Goal, Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata, Automatic verification of competitive stochastic systems, Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games, Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking, Nearly Optimal Verifiable Data Streaming, Computation tree measurement language (CTML), Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes, Play to Test, Automatic verification of real-time systems with discrete probability distributions.
