The following pages link to PRISM (Q13928):
Displaying 50 items.
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study (Q4912378) (← links)
- Probabilistic Model Checking of the PDGF Signaling Pathway (Q4912384) (← links)
- (Q4972730) (← links)
- OBLIGATION BLACKWELL GAMES AND P-AUTOMATA (Q4977213) (← links)
- A New Algorithm for Partitioned Symbolic Reachability Analysis (Q4982091) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- A Theory of Distributed Markov Chains (Q4988963) (← links)
- (Q4989405) (← links)
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models (Q4991932) (← links)
- Reachability Switching Games (Q5002810) (← links)
- On Computing the Total Variation Distance of Hidden Markov Models. (Q5002817) (← links)
- Non-deterministic Weighted Automata on Random Words (Q5009422) (← links)
- (Q5013824) (← links)
- (Q5021010) (← links)
- (Q5028436) (← links)
- Scenario-Based Verification of Uncertain MDPs (Q5039513) (← links)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (Q5039515) (← links)
- Simple Strategies in Multi-Objective MDPs (Q5039517) (← links)
- Deep Statistical Model Checking (Q5041276) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources (Q5054367) (← links)
- A Unified Translation of Linear Temporal Logic to ω-Automata (Q5056447) (← links)
- (Q5094125) (← links)
- (Q5094137) (← links)
- (Q5094142) (← links)
- (Q5094151) (← links)
- Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes (Q5096097) (← links)
- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (Q5100746) (← links)
- Statistical model checking of stochastic component-based systems (Q5106945) (← links)
- Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games (Q5117304) (← links)
- (Q5129946) (← links)
- Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems (Q5140801) (← links)
- AMYTISS (Q5146400) (← links)
- (Q5155671) (← links)
- Quantitative Verification of Stochastic Regular Expressions (Q5164850) (← links)
- Formal Analysis of Memory Contention in a Multiprocessor System (Q5166668) (← links)
- Automated Verification and Strategy Synthesis for Probabilistic Systems (Q5166673) (← links)
- Rabinizer 2: Small Deterministic Automata for LTL ∖ GU (Q5166706) (← links)
- CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains (Q5166709) (← links)
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking (Q5166754) (← links)
- DNA Walker Circuits: Computational Potential, Design, and Verification (Q5168496) (← links)
- Modular Verification of DNA Strand Displacement Networks via Serializability Analysis (Q5168504) (← links)
- Quo Vadis Explicit-State Model Checking (Q5175096) (← links)
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (Q5175773) (← links)
- Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993) (← links)
- Translating Stochastic CLS into Maude (Q5179424) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- StocHy - automated verification and synthesis of stochastic processes (Q5239247) (← links)
- Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. (Q5240153) (← links)
- High-level Counterexamples for Probabilistic Automata (Q5246720) (← links)
