David Parker

208 papers A* 11A 19B 15Misc 2Journal 86Unranked 67
YearRankTypeTitle / Venue / Authors
2026 A* conf
Efficient Solution and Learning of Robust Factored MDPs.
AAAI
Yannik Schnitzer, Alessandro Abate, David Parker
2026 J jnl
Multi-Property Synthesis.
CoRR
Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, Moshe Y. Vardi
2026 J jnl
Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning.
CoRR
Yannik Schnitzer, Mathias Jackermeier, Alessandro Abate, David Parker
2026 — conf
Robust Verification of Concurrent Stochastic Games.
TACAS (1)
Angel Y. He, David Parker
2025 J jnl
About Time: Model-free Reinforcement Learning with Timed Reward Machines.
CoRR
Anirban Majumdar, Ritam Raha, Rajarshi Roy, David Parker, Marta Kwiatkowska
2025 — conf
CHiPS: Composing Hierarchical Pareto Solutions for Scalable Planning in Multi-Objective MDPs.
ECMR
Carl Hentges, Matthew Budd, Andrew Platt, Bruno Lacerda, David Parker, Nick Hawes
2025 — conf
Certifiably Robust Policies for Uncertain Parametric Environments.
TACAS (3)
Yannik Schnitzer, Alessandro Abate, David Parker
2025 J jnl
Efficient Solution and Learning of Robust Factored MDPs.
CoRR
Yannik Schnitzer, Alessandro Abate, David Parker
2025 J jnl
Learning Algorithms for Verification of Markov Decision Processes.
TheoretiCS
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2025 J jnl
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems.
CoRR
Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska
2025 A* conf
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty.
ICRA
Pian Yu, Yong Li, David Parker, Marta Kwiatkowska
2025 J jnl
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty.
CoRR
Pian Yu, Yong Li, David Parker, Marta Kwiatkowska
2025 — conf
Probabilistic Model Checking: Applications and Trends.
Principles of Formal Quantitative Analysis
Marta Kwiatkowska, Gethin Norman, David Parker
2025 J jnl
Probabilistic Model Checking: Applications and Trends.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker
2025 — conf
Robust Probabilistic Bisimilarity for Labelled Markov Chains.
CAV (2)
Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel
2025 J jnl
Robust Probabilistic Bisimilarity for Labelled Markov Chains.
CoRR
Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel
2024 J jnl
A Framework for Simultaneous Task Allocation and Planning under Uncertainty.
ACM Trans. Auton. Adapt. Syst.
Fatma Faruq, Bruno Lacerda, Nick Hawes, David Parker
2024 — conf
Distributional Probabilistic Model Checking.
NFM
Ingy Elsayed-Aly, David Parker, Lu Feng
2024 — conf
Expectation vs. Reality: Towards Verification of Psychological Games.
Principles of Verification (2)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2024 J jnl
Expectation vs. Reality: Towards Verification of Psychological Games.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2024 J jnl
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms.
CoRR
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024 — conf
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms.
L4DC
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024 J jnl
Learning Algorithms for Verification of Markov Decision Processes.
CoRR
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
2024 J jnl
Learning Provably Robust Policies in Uncertain Parametric Environments.
CoRR
Yannik Schnitzer, Alessandro Abate, David Parker
2024 — conf
Partially Observable Stochastic Games with Neural Perception Mechanisms.
FM (1)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024 B conf
Partially-Observable Security Games for Attack-Defence Analysis in Software Systems.
SEFM
Narges Khakpour, David Parker
2024 — conf
Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe.
Principles of Verification (2)
Hubert Garavel, Holger Hermanns, David Parker
2024 — conf
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
Principles of Verification (3)
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
2024 J jnl
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
CoRR
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
2024 J jnl
Safe POMDP Online Planning Among Dynamic Agents via Adaptive Conformal Prediction.
IEEE Robotics Autom. Lett.
Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng
2024 J jnl
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction.
CoRR
Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng
2024 A* conf
Safe POMDP Online Planning via Shielding.
ICRA
Shili Sheng, David Parker, Lu Feng
2024 J jnl
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games.
Inf. Comput.
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 J jnl
Distributional Probabilistic Model Checking.
CoRR
Ingy Elsayed-Aly, David Parker, Lu Feng
2023 J jnl
Multi-Agent Verification and Control with Probabilistic Model Checking.
CoRR
David Parker
2023 — conf
Multi-agent Verification and Control with Probabilistic Model Checking.
QEST
David Parker
2023 J jnl
Partially Observable Stochastic Games with Neural Perception Mechanisms.
CoRR
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2023 J jnl
Point-based Value Iteration for Neuro-Symbolic POMDPs.
CoRR
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2023 J jnl
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023 J jnl
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.
J. Artif. Intell. Res.
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023 J jnl
Safe POMDP Online Planning via Shielding.
CoRR
Shili Sheng, David Parker, Lu Feng
2023 J jnl
The Hamiltonian Cycle and Travelling Salesperson problems with traversal-dependent edge deletion.
J. Comput. Sci.
Sarah Carmesin, David Woller, David Parker, Miroslav Kulich, Masoumeh Mansouri
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — conf
Using Reed-Muller Codes for Classification with Rejection and Recovery.
FPS (1)
Daniel Fentham, David Parker, Mark Ryan
2023 J jnl
Using Reed-Muller Codes for Classification with Rejection and Recovery.
CoRR
Daniel Fentham, David Parker, Mark Ryan
2022 A conf
A Value-based Dynamic Learning Approach for Vehicle Dispatch in Ride-Sharing.
IROS
Cheng Li, David Parker, Qi Hao
2022 — conf
Correlated Equilibria and Fairness in Concurrent Stochastic Games.
TACAS (2)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022 J jnl
Correlated Equilibria and Fairness in Concurrent Stochastic Games.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022 J jnl
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games.
CoRR
Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
2022 A conf
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games.
UAI
Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
2022 — ed.
Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
FORMATS
Sergiy Bogomolov, David Parker
2022 — conf
Multi-Objective Controller Synthesis with Uncertain Human Preferences.
ICCPS
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
2022 J jnl
Partially-Observable Security Games for Automating Attack-Defense Analysis.
CoRR
Narges Khakpour, David Parker
2022 J jnl
Planning for Automated Vehicles with Human Trust.
ACM Trans. Cyber Phys. Syst.
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker, Lu Feng
2022 J jnl
Probabilistic Model Checking and Autonomy.
Annu. Rev. Control. Robotics Auton. Syst.
Marta Kwiatkowska, Gethin Norman, David Parker
2022 B conf
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk).
MFCS
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
2022 J jnl
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
2022 A* conf
Robust Anytime Learning of Markov Decision Processes.
NeurIPS
Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen
2022 J jnl
Robust Anytime Learning of Markov Decision Processes.
CoRR
Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker
2022 A* conf
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
AAAI
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2022 J jnl
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games.
CoRR
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
2022 — conf
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games.
Principles of Systems Design
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022 J jnl
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2022 J jnl
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.
Int. J. Softw. Tools Technol. Transf.
Armin Biere, David Parker
2022 — conf
Verified Probabilistic Policies for Deep Reinforcement Learning.
NFM
Edoardo Bacci, David Parker
2022 J jnl
Verified Probabilistic Policies for Deep Reinforcement Learning.
CoRR
Edoardo Bacci, David Parker
2021 J jnl
Automatic verification of concurrent stochastic systems.
Formal Methods Syst. Des.
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2021 J jnl
Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach.
Autom.
Ahmed Al-Ajeli, David Parker
2021 J jnl
Introduction to the Special Issue on QEST 2019.
ACM Trans. Model. Comput. Simul.
David Parker, Verena Wolf
2021 J jnl
Multi-Objective Controller Synthesis with Uncertain Human Preferences.
CoRR
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
2021 A* conf
Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems.
ICRA
Cheng Li, David Parker, Qi Hao
2021 J jnl
Probabilistic Model Checking and Autonomy.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker
2021 J jnl
Quantitative verification of Kalman filters.
Formal Aspects Comput.
Alexandros Evangelidis, David Parker
2021 J jnl
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
CoRR
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2021 A conf
Vehicle Dispatch in On-Demand Ride-Sharing with Stochastic Travel Times.
IROS
Cheng Li, David Parker, Qi Hao
2021 A* conf
Verifying Reinforcement Learning up to Infinity.
IJCAI
Edoardo Bacci, Mirco Giacobbe, David Parker
2020 J jnl
ATEN: And/Or tree ensemble for inferring accurate Boolean network topology and dynamics.
Bioinform.
Ning Shi, Zexuan Zhu, Ke Tang, David Parker, Shan He
2020 J jnl
Automatic Verification of Concurrent Stochastic Systems.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020 — conf
Multi-player Equilibria Verification for Concurrent Stochastic Games.
QEST
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020 J jnl
Multi-player Equilibria Verification for Concurrent Stochastic Games.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020 — conf
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.
ISoLA (4)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
2020 — conf
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.
CAV (2)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2020 — conf
Probabilistic Guarantees for Safe Deep Reinforcement Learning.
FORMATS
Edoardo Bacci, David Parker
2020 J jnl
Probabilistic Guarantees for Safe Deep Reinforcement Learning.
CoRR
Edoardo Bacci, David Parker
2020 — conf
Quantitative Verification of Certificate Transparency Gossip Protocols.
CNS
Michael Oxford, David Parker, Mark Ryan
2020 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
TACAS (1)
Armin Biere, David Parker
2020 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
TACAS (2)
Armin Biere, David Parker
2019 — conf
Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems.
ESORICS (1)
Chris Novakovic, David Parker
2019 B conf
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.
FM
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2019 J jnl
Probabilistic planning with formal performance guarantees for mobile service robots.
Int. J. Robotics Res.
Bruno Lacerda, Fatma Faruq, David Parker, Nick Hawes
2019 — ed.
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings.
QEST
David Parker, Verena Wolf
2019 B conf
Quantitative Verification of Numerical Stability for Kalman Filters.
FM
Alexandros Evangelidis, David Parker
2019 J jnl
Software Adaptation for an Unmanned Undersea Vehicle.
IEEE Softw.
Avi Pfeffer, Curt Wu, Gerald Fry, Kenny Lu, Steve Marotta, Michael Reposa, Yuan Shi, T. K. Satish Kumar, Craig A. Knoblock, David Parker, Irfan Muhammad, Chris Novakovic
2019 — conf
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
TACAS (3)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2019 — conf
The Quantitative Verification Benchmark Set.
TACAS (1)
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
2019 — conf
Verification and Control of Turn-Based Probabilistic Real-Time Games.
The Art of Modelling Computational Systems
Marta Kwiatkowska, Gethin Norman, David Parker
2019 J jnl
Verification and Control of Turn-Based Probabilistic Real-Time Games.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker
2018 — conf
Automated Verification of Concurrent Stochastic Games.
QEST
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2018 J jnl
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games.
CoRR
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
2018 J jnl
Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
2018 J jnl
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
Int. J. Softw. Tools Technol. Transf.
Marta Kwiatkowska, David Parker, Clemens Wiltsche
2018 J jnl
Performance modelling and verification of cloud-based auto-scaling policies.
Future Gener. Comput. Syst.
Alexandros Evangelidis, David Parker, Rami Bahsoon
2018 J jnl
Replicated Computational Results (RCR) Report for "ProPPA: Probabilistic Programming for Stochastic Dynamical Systems".
ACM Trans. Model. Comput. Simul.
David Parker
2018 A conf
Simultaneous Task Allocation and Planning Under Uncertainty.
IROS
Fatma Faruq, David Parker, Bruno Lacerda, Nick Hawes
2018 J jnl
Simultaneous Task Allocation and Planning Under Uncertainty.
CoRR
Fatma Faruq, Bruno Lacerda, Nick Hawes, David Parker
2017 — conf
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
CAV (1)
Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich
2017 A* conf
Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees.
ICAPS
Bruno Lacerda, David Parker, Nick Hawes
2017 B conf
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies.
CCGrid
Alexandros Evangelidis, David Parker, Rami Bahsoon
2017 — conf
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.
Models, Algorithms, Logics and Tools
Marta Kwiatkowska, Gethin Norman, David Parker
2017 J jnl
Verification and control of partially observable probabilistic systems.
Real Time Syst.
Gethin Norman, David Parker, Xueyi Zou
2016 — conf
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems.
SPIN
Nishanthan Kamaleson, David Parker, Jonathan E. Rowe
2016 — conf
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory.
CMSB
Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
2016 A conf
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.
TACAS
Marta Kwiatkowska, David Parker, Clemens Wiltsche
2016 A conf
Quantitative Verification and Synthesis of Attack-Defence Scenarios.
CSF
Zaruhi Aslanyan, Flemming Nielson, David Parker
2016 J jnl
Synthesizing efficient systems in probabilistic environments.
Acta Informatica
Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya
2015 — conf
Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract).
AAAI Fall Symposia
Bruno Lacerda, David Parker, Nick Hawes
2015 A* conf
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.
IJCAI
Bruno Lacerda, David Parker, Nick Hawes
2015 J jnl
Permissive Controller Synthesis for Probabilistic Systems.
Log. Methods Comput. Sci.
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2015 — conf
The Hanoi Omega-Automata Format.
CAV (1)
Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek
2015 — conf
Verification and Control of Partially Observable Probabilistic Real-Time Systems.
FORMATS
Gethin Norman, David Parker, Xueyi Zou
2015 J jnl
Verification and Control of Partially Observable Probabilistic Real-Time Systems.
CoRR
Gethin Norman, David Parker, Xueyi Zou
2014 J jnl
Local abstraction refinement for probabilistic timed programs.
Theor. Comput. Sci.
Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu
2014 — ch.
On Incremental Quantitative Verification for Probabilistic Systems.
HOWARD-60
Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2014 A conf
Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications.
IROS
Bruno Lacerda, David Parker, Nick Hawes
2014 A conf
Permissive Controller Synthesis for Probabilistic Systems.
TACAS
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014 — conf
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.
Horizons of the Mind
Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2014 B conf
Verification of Markov Decision Processes Using Learning Algorithms.
ATVA
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2014 J jnl
Verification of Markov Decision Processes using Learning Algorithms.
CoRR
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
2013 B conf
Automated Verification and Strategy Synthesis for Probabilistic Systems.
ATVA
Marta Z. Kwiatkowska, David Parker
2013 J jnl
Automatic verification of competitive stochastic systems.
Formal Methods Syst. Des.
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2013 J jnl
Compositional probabilistic verification through multi-objective model checking.
Inf. Comput.
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2013 J jnl
Model checking for probabilistic timed automata.
Formal Methods Syst. Des.
Gethin Norman, David Parker, Jeremy Sproston
2013 A conf
PRISM-games: A Model Checker for Stochastic Multi-Player Games.
TACAS
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2013 A conf
Probabilistic Point-to-Point Information Leakage.
CSF
Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker
2013 B conf
SMT-Based Bisimulation Minimisation of Markov Models.
VMCAI
Christian Dehnert, Joost-Pieter Katoen, David Parker
2013 — conf
Strategic Analysis of Trust Models for User-Centric Networks
SR
Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2012 — ch.
Advances in Probabilistic Model Checking.
Software Safety and Security
Marta Z. Kwiatkowska, David Parker
2012 A conf
Automatic Verification of Competitive Stochastic Systems.
TACAS
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2012 J jnl
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations.
Int. J. Comput. Their Appl.
Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2012 B conf
Incremental Runtime Verification of Probabilistic Systems.
RV
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2012 — ed.
Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
SPIN
Alastair F. Donaldson, David Parker
2012 J jnl
Pareto Curves for Probabilistic Model Checking
CoRR
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker
2012 B conf
Pareto Curves for Probabilistic Model Checking.
ATVA
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker
2012 J jnl
Probabilistic verification of Herman's self-stabilisation algorithm.
Formal Aspects Comput.
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2012 — conf
The PRISM Benchmark Suite.
QEST
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011 — conf
A Systematic Approach to Evaluate Sustained Stochastic Oscillations.
BICoB
Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011 B conf
Automated Learning of Probabilistic Assumptions for Compositional Reasoning.
FASE
Lu Feng, Marta Z. Kwiatkowska, David Parker
2011 — conf
Automated Verification Techniques for Probabilistic Systems.
SFM
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011 — conf
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.
QEST
Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang
2011 A conf
Incremental quantitative verification for Markov decision processes.
DSN
Marta Z. Kwiatkowska, David Parker, Hongyang Qu
2011 B conf
Learning-Based Compositional Verification for Synchronous Probabilistic Systems.
ATVA
Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker
2011 A* conf
PRISM 4.0: Verification of Probabilistic Real-Time Systems.
CAV
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2011 A conf
Quantitative Multi-objective Verification for Probabilistic Systems.
TACAS
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2011 — conf
Verifying Team Formation Protocols with Probabilistic Model Checking.
CLIMA
Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2010 — conf
A Framework for Verification of Software with Time and Probabilities.
FORMATS
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2010 J jnl
A game-based abstraction-refinement framework for Markov decision processes.
Formal Methods Syst. Des.
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2010 — conf
Advances and challenges of probabilistic model checking.
Allerton
Marta Kwiatkowska, Gethin Norman, David Parker
2010 A conf
Assume-Guarantee Verification for Probabilistic Systems.
TACAS
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
2010 — conf
Compositional Verification of Probabilistic Systems Using Learning.
QEST
Lu Feng, Marta Z. Kwiatkowska, David Parker
2009 B conf
Abstraction Refinement for Probabilistic Software.
VMCAI
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2009 B conf
Bisimulation for Demonic Schedulers.
FoSSaCS
Konstantinos Chatzikokolakis, Gethin Norman, David Parker
2009 — conf
Language-Level Symmetry Reduction for Probabilistic Model Checking.
QEST
Alastair F. Donaldson, Alice Miller, David Parker
2009 J jnl
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.
IEEE Trans. Software Eng.
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
2009 J jnl
PRISM: probabilistic model checking for performance and reliability analysis.
SIGMETRICS Perform. Evaluation Rev.
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2009 J jnl
Probabilistic Mobile Ambients.
Theor. Comput. Sci.
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti
2009 — conf
Quantitative Verification Techniques for Biological Processes.
Algorithmic Bioprocesses
Marta Kwiatkowska, Gethin Norman, David Parker
2009 — conf
Stochastic Games for Verification of Probabilistic Timed Automata.
FORMATS
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008 J jnl
Analysis of a gossip protocol in PRISM.
SIGMETRICS Perform. Evaluation Rev.
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008 — conf
Game-Based Probabilistic Predicate Abstraction in PRISM.
QAPL
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2008 — conf
Generating Compact MTBDD-Representations from ProbmelaSpecifications.
SPIN
Frank Ciesinski, Christel Baier, Marcus Größer, David Parker
2008 J jnl
Probabilistic model checking of complex biological pathways.
Theor. Comput. Sci.
John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
2008 — conf
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
QEST
Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro
2008 J jnl
Using probabilistic model checking in systems biology.
SIGMETRICS Perform. Evaluation Rev.
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2007 — conf
GRIP: Generic Representatives in PRISM.
QEST
Alastair F. Donaldson, Alice Miller, David Parker
2007 — conf
Model checking the probabilistic pi-calculus.
QEST
Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
2007 — conf
Stochastic Model Checking.
SFM
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006 J jnl
A formal analysis of bluetooth device discovery.
Int. J. Softw. Tools Technol. Transf.
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006 — conf
Game-based Abstraction for Markov Decision Processes.
QEST
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006 J jnl
Numerical vs. statistical probabilistic model checking.
Int. J. Softw. Tools Technol. Transf.
Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006 — conf
On Reduction Criteria for Probabilistic Reward Models.
FSTTCS
Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
2006 A conf
PRISM: A Tool for Automatic Verification of Probabilistic Systems.
TACAS
Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2006 J jnl
Performance analysis of probabilistic timed automata using digital clocks.
Formal Methods Syst. Des.
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
2006 — conf
Probabilistic Model Checking of Complex Biological Pathways.
CMSB
John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
2006 Misc conf
Simulation and verification for computational modelling of signalling pathways.
WSC
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney
2006 A* conf
Symmetry Reduction for Probabilistic Model Checking.
CAV
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005 A conf
A Wavefront Parallelisation of CTMC Solution Using MTBDDs.
DSN
Yi Zhang, David Parker, Marta Z. Kwiatkowska
2005 J jnl
Evaluating the reliability of NAND multiplexing with PRISM.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
2005 J jnl
Probabilistic model checking in practice: case studies with PRISM.
SIGMETRICS Perform. Evaluation Rev.
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005 — conf
Quantitative Analysis With the Probabilistic Model Checker PRISM.
QAPL
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2005 J jnl
Using probabilistic model checking for dynamic power management.
Formal Aspects Comput.
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta
2004 — conf
A Formal Analysis of Bluetooth Device Discovery.
ISoLA (Preliminary proceedings)
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004 B conf
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.
MASCOTS
Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood
2004 Misc conf
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
VLSI Design
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
2004 — book
Mathematical techniques for analyzing concurrent and probabilistic systems.
Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden
2004 A conf
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
TACAS
Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004 — conf
PRISM 2.0: A Tool for Probabilistic Model Checking.
QEST
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004 J jnl
Probabilistic symbolic model checking with PRISM: a hybrid approach.
Int. J. Softw. Tools Technol. Transf.
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2004 — conf
Symbolic Representations and Analysis of Large Probabilistic Systems.
Validation of Stochastic Systems
Andrew S. Miner, David Parker
2003 J jnl
On the use of MTBDDs for performability analysis and verification of stochastic systems.
J. Log. Algebraic Methods Program.
Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
2003 — conf
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.
FORMATS
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
2002 — conf
A Symbolic Out-of-Core Solution Method for Markov Models.
PDMC@CONCUR
Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker
2002 — conf
Computer Based Real-Time Simulator for Renewable Energy Converters.
DELTA
David Parker
2002 — conf
Formal analysis and validation of continuous-time Markov chain based system level power management strategies.
HLDVT
Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta
2002 — conf
PRISM: Probabilistic Symbolic Model Checker.
Computer Performance Evaluation / TOOLS
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2002 A conf
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.
TACAS
Marta Z. Kwiatkowska, Gethin Norman, David Parker
2001 — conf
Faster and Symbolic CTMC Model Checking.
PAPM-PROBMIV
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker
2000 A conf
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
TACAS
Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala