scientific article; zbMATH DE number 1905115

zbMath1010.68513MaRDI QIDQ4806205

Reid G. Simmons, Håkan L. S. Younes

Publication date: 21 May 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (20)

Statistical Model Checking for Variability-Intensive Systems ⋮ Deep Statistical Model Checking ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Model Checking Probabilistic Systems ⋮ Statistically Sound Verification and Optimization for Complex Systems ⋮ Least upper bounds for probability measures and their applications to abstractions ⋮ Comparative Analysis of Statistical Model Checking Tools ⋮ Probabilistic verification and approximation ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Evaluating Complex MAC Protocols for Sensor Networks with APMC ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Statistical probabilistic model checking with a focus on time-bounded properties ⋮ On simulation-based probabilistic model checking of mixed-analog circuits ⋮ Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata ⋮ Assisting the design of a groupware system - Model checking usability aspects of thinkteam ⋮ Fixed-Delay Events in Generalized Semi-Markov Processes Revisited ⋮ Weak Kripke Structures and LTL ⋮ Statistical model checking for variability-intensive systems: applications to bug detection and minimization ⋮ Statistical Model Checking Using Perfect Simulation ⋮ A theory of stochastic systems. I: Stochastic automata

This page was built for publication: