David Parker

CoRR, 2024

Tools at the Frontiers of Quantitative Verification.

[BibT_eX]

[DOI]

CoRR, 2024

Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction.

[BibT_eX]

[DOI]

CoRR, 2024

Learning Algorithms for Verification of Markov Decision Processes.

[BibT_eX]

[DOI]

Tomás Brázdil

Krishnendu Chatterjee

CoRR, 2024

Distributional Probabilistic Model Checking.

[BibT_eX]

[DOI]

Ingy Elsayed-Aly

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Safe POMDP Online Planning via Shielding.

[BibT_eX]

[DOI]

Shili Sheng

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Partially Observable Stochastic Games with Neural Perception Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

The Hamiltonian Cycle and Travelling Salesperson problems with traversal-dependent edge deletion.

[BibT_eX]

[DOI]

J. Comput. Sci., December, 2023

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Point-based Value Iteration for Neuro-Symbolic POMDPs.

[BibT_eX]

[DOI]

CoRR, 2023

Multi-agent Verification and Control with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Using Reed-Muller Codes for Classification with Rejection and Recovery.

[BibT_eX]

[DOI]

Daniel Fentham

Mark Ryan

Proceedings of the Foundations and Practice of Security - 16th International Symposium, 2023

2022

Planning for Automated Vehicles with Human Trust.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2022

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.

[BibT_eX]

[DOI]

Armin Biere

Int. J. Softw. Tools Technol. Transf., 2022

Partially-Observable Security Games for Automating Attack-Defense Analysis.

[BibT_eX]

[DOI]

Narges Khakpour

CoRR, 2022

Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges.

[BibT_eX]

[DOI]

CoRR, 2022

Probabilistic Model Checking and Autonomy.

[BibT_eX]

[DOI]

Annu. Rev. Control. Robotics Auton. Syst., 2022

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2022

Correlated Equilibria and Fairness in Concurrent Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Robust Anytime Learning of Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Verified Probabilistic Policies for Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Edoardo Bacci

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

A Value-based Dynamic Learning Approach for Vehicle Dispatch in Ride-Sharing.

[BibT_eX]

[DOI]

Cheng Li

Qi Hao

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Multi-Objective Controller Synthesis with Uncertain Human Preferences.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Introduction to the Special Issue on QEST 2019.

[BibT_eX]

[DOI]

Verena Wolf

ACM Trans. Model. Comput. Simul., 2021

Automatic verification of concurrent stochastic systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Quantitative verification of Kalman filters.

[BibT_eX]

[DOI]

Alexandros Evangelidis

Formal Aspects Comput., 2021

Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach.

[BibT_eX]

[DOI]

Ahmed Al-Ajeli

Autom., 2021

Vehicle Dispatch in On-Demand Ride-Sharing with Stochastic Travel Times.

[BibT_eX]

[DOI]

Cheng Li

Qi Hao

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Verifying Reinforcement Learning up to Infinity.

[BibT_eX]

[DOI]

Edoardo Bacci

Mirco Giacobbe

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems.

[BibT_eX]

[DOI]

Cheng Li

Qi Hao

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

ATEN: And/Or tree ensemble for inferring accurate Boolean network topology and dynamics.

[BibT_eX]

[DOI]

Bioinform., 2020

Multi-player Equilibria Verification for Concurrent Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Probabilistic Guarantees for Safe Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Edoardo Bacci

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Quantitative Verification of Certificate Transparency Gossip Protocols.

[BibT_eX]

[DOI]

Michael Oxford

Mark Ryan

Proceedings of the 8th IEEE Conference on Communications and Network Security, 2020

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Software Adaptation for an Unmanned Undersea Vehicle.

[BibT_eX]

[DOI]

IEEE Softw., 2019

Probabilistic planning with formal performance guarantees for mobile service robots.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2019

The Quantitative Verification Benchmark Set.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Quantitative Verification of Numerical Stability for Kalman Filters.

[BibT_eX]

[DOI]

Alexandros Evangelidis

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems.

[BibT_eX]

[DOI]

Chris Novakovic

Proceedings of the Computer Security - ESORICS 2019, 2019

Verification and Control of Turn-Based Probabilistic Real-Time Games.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Replicated Computational Results (RCR) Report for "ProPPA: Probabilistic Programming for Stochastic Dynamical Systems".

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.

[BibT_eX]

[DOI]

Clemens Wiltsche

Int. J. Softw. Tools Technol. Transf., 2018

Performance modelling and verification of cloud-based auto-scaling policies.

[BibT_eX]

[DOI]

Alexandros Evangelidis

Rami Bahsoon

Future Gener. Comput. Syst., 2018

Automated Verification of Concurrent Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Simultaneous Task Allocation and Planning Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2017

Verification and control of partially observable probabilistic systems.

[BibT_eX]

[DOI]

Xueyi Zou

Real Time Syst., 2017

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Synthesizing efficient systems in probabilistic environments.

[BibT_eX]

[DOI]

Acta Informatica, 2016

PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.

[BibT_eX]

[DOI]

Clemens Wiltsche

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Finite-Horizon Bisimulation Minimisation for Probabilistic Systems.

[BibT_eX]

[DOI]

Nishanthan Kamaleson

Jonathan E. Rowe

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Quantitative Verification and Synthesis of Attack-Defence Scenarios.

[BibT_eX]

[DOI]

Zaruhi Aslanyan

Flemming Nielson

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2016

2015

Permissive Controller Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Verification and Control of Partially Observable Probabilistic Real-Time Systems.

[BibT_eX]

[DOI]

Xueyi Zou

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

The Hanoi Omega-Automata Format.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015

2014

Local abstraction refinement for probabilistic timed programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

On Incremental Quantitative Verification for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Verification of Markov Decision Processes Using Learning Algorithms.

[BibT_eX]

[DOI]

Tomás Brázdil

Krishnendu Chatterjee

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Compositional probabilistic verification through multi-objective model checking.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Model checking for probabilistic timed automata.

[BibT_eX]

[DOI]

Jeremy Sproston

Formal Methods Syst. Des., 2013

Automatic verification of competitive stochastic systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

Strategic Analysis of Trust Models for User-Centric Networks

[BibT_eX]

[DOI]

Aistis Simaitis

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

SMT-Based Bisimulation Minimisation of Markov Models.

[BibT_eX]

[DOI]

Christian Dehnert

Joost-Pieter Katoen

Proceedings of the Verification, 2013

PRISM-games: A Model Checker for Stochastic Multi-Player Games.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Probabilistic Point-to-Point Information Leakage.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Automated Verification and Strategy Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Advances in Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012

Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations.

[BibT_eX]

Int. J. Comput. Their Appl., 2012

Probabilistic verification of Herman's self-stabilisation algorithm.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Incremental Runtime Verification of Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

The PRISM Benchmark Suite.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Pareto Curves for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Vojtech Forejt

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Quantitative Multi-objective Verification for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Automated Verification Techniques for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Automated Learning of Probabilistic Assumptions for Compositional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Incremental quantitative verification for Markov decision processes.

[BibT_eX]

[DOI]

Hongyang Qu

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Verifying Team Formation Protocols with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

PRISM 4.0: Verification of Probabilistic Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

A Systematic Approach to Evaluate Sustained Stochastic Oscillations.

[BibT_eX]

Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011

Learning-Based Compositional Verification for Synchronous Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A game-based abstraction-refinement framework for Markov decision processes.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

Assume-Guarantee Verification for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Compositional Verification of Probabilistic Systems Using Learning.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

A Framework for Verification of Software with Time and Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Advances and challenges of probabilistic model checking.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009

Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Probabilistic Mobile Ambients.

[BibT_eX]

[DOI]

Maria Grazia Vigliotti

Theor. Comput. Sci., 2009

PRISM: probabilistic model checking for performance and reliability analysis.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2009

Abstraction Refinement for Probabilistic Software.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

Language-Level Symmetry Reduction for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Alastair F. Donaldson

Alice Miller

Konstantinos Chatzikokolakis

Proceedings of the QEST 2009, 2009

Bisimulation for Demonic Schedulers.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Stochastic Games for Verification of Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Quantitative Verification Techniques for Biological Processes.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Bioprocesses, 2009

2008

Probabilistic model checking of complex biological pathways.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Analysis of a gossip protocol in PRISM.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Using probabilistic model checking in systems biology.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Game-Based Probabilistic Predicate Abstraction in PRISM.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Generating Compact MTBDD-Representations from ProbmelaSpecifications.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2008

Symbolic Magnifying Lens Abstraction in Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

Stochastic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Performance Evaluation, 2007

Model checking the probabilistic pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

GRIP: Generic Representatives in PRISM.

[BibT_eX]

[DOI]

Alastair F. Donaldson

Alice Miller

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

Numerical vs. statistical probabilistic model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

A formal analysis of bluetooth device discovery.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

Performance analysis of probabilistic timed automata using digital clocks.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2006

Simulation and verification for computational modelling of signalling pathways.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference WSC 2006, 2006

PRISM: A Tool for Automatic Verification of Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Game-based Abstraction for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

On Reduction Criteria for Probabilistic Reward Models.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Symmetry Reduction for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Evaluating the reliability of NAND multiplexing with PRISM.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Probabilistic model checking in practice: case studies with PRISM.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

Using probabilistic model checking for dynamic power management.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2005

Quantitative Analysis With the Probabilistic Model Checker PRISM.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

A Wavefront Parallelisation of CTMC Solution Using MTBDDs.

[BibT_eX]

[DOI]

Yi Zhang

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Probabilistic symbolic model checking with PRISM: a hybrid approach.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Symbolic Representations and Analysis of Large Probabilistic Systems.

[BibT_eX]

[DOI]

Andrew S. Miner

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

PRISM 2.0: A Tool for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Modeling, 2004

Mathematical techniques for analyzing concurrent and probabilistic systems.

[BibT_eX]

[DOI]

CRM monograph series 23, American Mathematical Society, ISBN: 978-0-8218-3571-5, 2004

2003

Implementation of symbolic model checking for probabilistic systems.

[BibT_eX]

[DOI]

David Anthony Parker

PhD thesis, 2003

On the use of MTBDDs for performability analysis and verification of stochastic systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2003

2002

A Symbolic Out-of-Core Solution Method for Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Model Checking, 2002

Formal analysis and validation of continuous-time Markov chain based system level power management strategies.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Computer Based Real-Time Simulator for Renewable Energy Converters.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Workshop on Electronic Design, 2002

PRISM: Probabilistic Symbolic Model Checker.

[BibT_eX]

[DOI]