LiQuor
From MaRDI portal
Software:16320
No author found.
Related Items (19)
Coupling and Importance Sampling for Statistical Model Checking ⋮ Observing Continuous-Time MDPs by 1-Clock Timed Automata ⋮ Model Checking Probabilistic Systems ⋮ Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers ⋮ Compositional probabilistic verification through multi-objective model checking ⋮ Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains ⋮ Minimal counterexamples for linear-time probabilistic verification ⋮ Quantitative Model Checking Revisited: Neither Decidable Nor Approximable ⋮ Unnamed Item ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms ⋮ Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements ⋮ Algorithmic probabilistic game semantics. Playing games with automata ⋮ Game-Based Probabilistic Predicate Abstraction in PRISM ⋮ Model Checking Quantitative Linear Time Logic ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ On simulation-based probabilistic model checking of mixed-analog circuits ⋮ OBLIGATION BLACKWELL GAMES AND P-AUTOMATA ⋮ Undecidability Results for Distributed Probabilistic Systems
This page was built for software: LiQuor
