The following pages link to (Q4806205):
Displaying 23 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- Faster statistical model checking for unbounded temporal properties (Q2272915) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- Fixed-Delay Events in Generalized Semi-Markov Processes Revisited (Q3090827) (← links)
- Weak Kripke Structures and LTL (Q3090846) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Statistically Sound Verification and Optimization for Complex Systems (Q3457812) (← links)
- Statistical Model Checking Using Perfect Simulation (Q3648695) (← links)
- Statistical Model Checking for Variability-Intensive Systems (Q5039537) (← links)
- Deep Statistical Model Checking (Q5041276) (← links)
- Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
- Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems (Q6535150) (← links)
- Monitoring algorithmic fairness (Q6535545) (← links)
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes (Q6535569) (← links)
