scientific article; zbMATH DE number 1361121
From MaRDI portal
Publication:4270055
zbMath0934.03044MaRDI QIDQ4270055
Holger Hermanns, Christel Baier, Joost-Pieter Katoen
Publication date: 25 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logiccontinuous-time Markov chainssystem of linear equationsextension of continuous stochastic logic CSLsymbolic approximate methodsymbolic model checking algorithmVolterra integral equation system
Symbolic computation and algebraic computation (68W30) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items
Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system, Comparative branching-time semantics for Markov chains, On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets, Twenty years of rewriting logic, Approximating labelled Markov processes, A canonical form based decision procedure and model checking approach for propositional projection temporal logic, Multiphase until formulas over Markov reward models: an algebraic approach, Model-checking large structured Markov chains., Model checking open systems with alternating projection temporal logic, Formal modelling and verification of probabilistic resource bounded agents, A uniformization-based algorithm for continuous-time stochastic games model checking, Performability assessment by model checking of Markov reward models, Model checking expected time and expected reward formulae with random time bounds, Bio-PEPA: A framework for the modelling and analysis of biological systems, Process algebra for performance evaluation, Mixing logics and rewards for the component-oriented specification of performance measures, Model checking mobile stochastic logic, Statistical probabilistic model checking with a focus on time-bounded properties, Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata, Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models, Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games, A theory of stochastic systems. I: Stochastic automata, Performance measure sensitive congruences for Markovian process algebras
