The following pages link to LiQuor (Q16320):
Displaying 19 items.
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- Coupling and Importance Sampling for Statistical Model Checking (Q2894280) (← links)
- Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains (Q2946750) (← links)
- Observing Continuous-Time MDPs by 1-Clock Timed Automata (Q3172860) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers (Q3184684) (← links)
- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable (Q3510843) (← links)
- Undecidability Results for Distributed Probabilistic Systems (Q3651281) (← links)
- Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements (Q4649307) (← links)
- OBLIGATION BLACKWELL GAMES AND P-AUTOMATA (Q4977213) (← links)
- Game-Based Probabilistic Predicate Abstraction in PRISM (Q5415661) (← links)
- Model Checking Quantitative Linear Time Logic (Q5415664) (← links)
- (Q5875368) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
