The following pages link to (Q4738778):
Displaying 50 items.
- PRISM (Q13928) (← links)
- Optimal cost almost-sure reachability in POMDPs (Q253969) (← links)
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Deciding probabilistic automata weak bisimulation: theory and practice (Q282105) (← links)
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Space-efficient scheduling of stochastically generated tasks (Q418125) (← links)
- Probabilistic approximations of ODEs based bio-pathway dynamics (Q533363) (← links)
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models (Q941454) (← links)
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- An elementary proof that Herman's ring is \(\Theta (N^{2})\) (Q1041727) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Models of transcription factor binding: sensitivity of activation functions to model assumptions (Q1617602) (← links)
- Performance limits and trade-offs in entropy-driven biochemical computers (Q1649423) (← links)
- Modeling fimbriae mediated parasite-host interactions (Q1719914) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Preface to the special issue on probabilistic model checking (Q2248070) (← links)
- Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Q2257302) (← links)
- Faster statistical model checking for unbounded temporal properties (Q2272915) (← links)
- Natural strategic ability (Q2289013) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Limited by sensing -- a minimal stochastic model of the lag-phase during diauxic growth (Q2399590) (← links)
- Model checking expected time and expected reward formulae with random time bounds (Q2494794) (← links)
- Probabilistic guarded commands mechanized in HOL (Q2576950) (← links)
- Nearly Optimal Verifiable Data Streaming (Q2798786) (← links)
- Weak Probabilistic Anonymity (Q2864392) (← links)
- Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems (Q2867890) (← links)
- PEPA Queues: Capturing Customer Behaviour in Queueing Networks (Q2870281) (← links)
- Exogenous Probabilistic Computation Tree Logic (Q2870286) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM (Q2948486) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- Verification of Context-Dependent Channel-Based Service Models (Q3066118) (← links)
- Binary Decision Diagrams (Q3176365) (← links)
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) (← links)
- Maximizing the Conditional Expected Reward for Reaching the Goal (Q3303934) (← links)
- Temporalization of Probabilistic Propositional Logic (Q3605519) (← links)
- Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus (Q3613062) (← links)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- Quantitative Analysis under Fairness Constraints (Q3648696) (← links)
