The following pages link to PRISM (Q13928):
Displaying 50 items.
- (Q5250859) (← links)
- Computing Cumulative Rewards Using Fast Adaptive Uniformization (Q5270731) (← links)
- Controller Synthesis for Reward Collecting Markov Processes in Continuous Space (Q5275318) (← links)
- (Q5278082) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (Q5300886) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308388) (← links)
- Validation of Stochastic Systems (Q5325837) (← links)
- Validation of Stochastic Systems (Q5325841) (← links)
- Validation of Stochastic Systems (Q5325843) (← links)
- PRISM-games: A Model Checker for Stochastic Multi-Player Games (Q5326324) (← links)
- An Overview of the mCRL2 Toolset and Its Recent Advances (Q5326326) (← links)
- A Probabilistic Extension of UML Statecharts (Q5392299) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395092) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395118) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- A Model and Analysis of the AKAP Scaffold (Q5404083) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)
- Model Checking Kernel P Systems (Q5404850) (← links)
- Stochastic Bigraphs (Q5415632) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
- Game-Based Probabilistic Predicate Abstraction in PRISM (Q5415661) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Magnifying-Lens Abstraction for Markov Decision Processes (Q5429327) (← links)
- A Hybrid Approach to Modeling Biological Systems (Q5452054) (← links)
- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (Q5458325) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464754) (← links)
- (Q5472932) (← links)
- Types and typechecking for Communicating Quantum Processes (Q5482266) (← links)
- Automated Technology for Verification and Analysis (Q5491879) (← links)
- Formal Methods in Computer-Aided Design (Q5492982) (← links)
- A Logical Framework for Systems Biology (Q5500406) (← links)
- Approximate Verification of the Symbolic Dynamics of Markov Chains (Q5501948) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703764) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709980) (← links)
- Computer Aided Verification (Q5716563) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717504) (← links)
- Model checking usage policies (Q5740636) (← links)
- A Symbolic Algorithm for Optimal Markov Chain Lumping (Q5758108) (← links)
- (Q5875366) (← links)
- (Q5875368) (← links)
- On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)
- (Q5875395) (← links)
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains (Q5881537) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Symbolic computation of differential equivalences (Q5890964) (← links)
- Cost Preserving Bisimulations for Probabilistic Automata (Q5892065) (← links)
