scientific article; zbMATH DE number 1905115
From MaRDI portal
Publication:4806205
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.
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:
