David Parker

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 88

Top Venues

CoRR

IROS

QEST

Int. J. Softw. Tools Technol. Transf.

Publications

Ingy Elsayed-Aly, David Parker, Lu Feng
Distributional Probabilistic Model Checking. NFM (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. L4DC (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. 300 (2024)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
Learning Algorithms for Verification of Markov Decision Processes. CoRR (2024)
Shili Sheng, Pian Yu, David Parker, Marta Kwiatkowska, Lu Feng
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction. CoRR (2024)
Shili Sheng, David Parker, Lu Feng
Safe POMDP Online Planning via Shielding. ICRA (2024)
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
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR (2023)
Daniel Fentham, David Parker, Mark Ryan
Using Reed-Muller Codes for Classification with Rejection and Recovery. CoRR (2023)
Ingy Elsayed-Aly, David Parker, Lu Feng
Distributional Probabilistic Model Checking. CoRR (2023)
Shili Sheng, David Parker, Lu Feng
Safe POMDP Online Planning via Shielding. CoRR (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76 (2023)
Daniel Fentham, David Parker, Mark Ryan
Using Reed-Muller Codes for Classification with Rejection and Recovery. FPS (1) (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR (2023)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR (2023)
David Parker
Multi-agent Verification and Control with Probabilistic Model Checking. QEST (2023)
Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker, Lu Feng
Planning for Automated Vehicles with Human Trust. ACM Trans. Cyber Phys. Syst. 6 (4) (2022)
Marta Kwiatkowska, Gethin Norman, David Parker
Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. 5 (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design (2022)
Cheng Li, David Parker, Qi Hao
A Value-based Dynamic Learning Approach for Vehicle Dispatch in Ride-Sharing. IROS (2022)
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
Multi-Objective Controller Synthesis with Uncertain Human Preferences. ICCPS (2022)
Edoardo Bacci, David Parker
Verified Probabilistic Policies for Deep Reinforcement Learning. CoRR (2022)
Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. UAI (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR (2022)
Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen
Robust Anytime Learning of Markov Decision Processes. NeurIPS (2022)
Edoardo Bacci, David Parker
Verified Probabilistic Policies for Deep Reinforcement Learning. NFM (2022)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR (2022)
Armin Biere, David Parker
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker
Robust Anytime Learning of Markov Decision Processes. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) (2022)
Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. CoRR (2022)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI (2022)
Alexandros Evangelidis, David Parker
Quantitative verification of Kalman filters. Formal Aspects Comput. 33 (4-5) (2021)
Edoardo Bacci, Mirco Giacobbe, David Parker
Verifying Reinforcement Learning up to Infinity. IJCAI (2021)
Marta Kwiatkowska, Gethin Norman, David Parker
Probabilistic Model Checking and Autonomy. CoRR (2021)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR (2021)
Cheng Li, David Parker, Qi Hao
Vehicle Dispatch in On-Demand Ride-Sharing with Stochastic Travel Times. IROS (2021)
Cheng Li, David Parker, Qi Hao
Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems. ICRA (2021)
Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
Multi-Objective Controller Synthesis with Uncertain Human Preferences. CoRR (2021)
David Parker, Verena Wolf
Introduction to the Special Issue on QEST 2019. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58 (1-2) (2021)
Ahmed Al-Ajeli, David Parker
Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach. Autom. 132 (2021)
Edoardo Bacci, David Parker
Probabilistic Guarantees for Safe Deep Reinforcement Learning. FORMATS (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST (2020)
Edoardo Bacci, David Parker
Probabilistic Guarantees for Safe Deep Reinforcement Learning. CoRR (2020)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automatic Verification of Concurrent Stochastic Systems. CoRR (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) (2020)
Ning Shi, Zexuan Zhu, Ke Tang, David Parker, Shan He
ATEN: And/Or tree ensemble for inferring accurate Boolean network topology and dynamics. Bioinform. 36 (2) (2020)
Michael Oxford, David Parker, Mark Ryan
Quantitative Verification of Certificate Transparency Gossip Protocols. CNS (2020)
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
Software Adaptation for an Unmanned Undersea Vehicle. IEEE Softw. 36 (2) (2019)
Chris Novakovic, David Parker
Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems. ESORICS (1) (2019)
Alexandros Evangelidis, David Parker
Quantitative Verification of Numerical Stability for Kalman Filters. FM (2019)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM (2019)
Marta Kwiatkowska, Gethin Norman, David Parker
Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR (2019)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) (2019)
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
The Quantitative Verification Benchmark Set. TACAS (1) (2019)
Bruno Lacerda, Fatma Faruq, David Parker, Nick Hawes
Probabilistic planning with formal performance guarantees for mobile service robots. Int. J. Robotics Res. 38 (9) (2019)
Marta Kwiatkowska, Gethin Norman, David Parker
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems (2019)
Alexandros Evangelidis, David Parker, Rami Bahsoon
Performance modelling and verification of cloud-based auto-scaling policies. Future Gener. Comput. Syst. 87 (2018)
David Parker
Replicated Computational Results (RCR) Report for "ProPPA: Probabilistic Programming for Stochastic Dynamical Systems". ACM Trans. Model. Comput. Simul. 28 (1) (2018)
Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR (2018)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automated Verification of Concurrent Stochastic Games. QEST (2018)
Fatma Faruq, Bruno Lacerda, Nick Hawes, David Parker
Simultaneous Task Allocation and Planning Under Uncertainty. CoRR (2018)
Marta Kwiatkowska, David Parker, Clemens Wiltsche
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Fatma Faruq, David Parker, Bruno Lacerda, Nick Hawes
Simultaneous Task Allocation and Planning Under Uncertainty. IROS (2018)
Alexandros Evangelidis, David Parker, Rami Bahsoon
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. CCGrid (2017)
Bruno Lacerda, David Parker, Nick Hawes
Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees. ICAPS (2017)
Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. CAV (1) (2017)
Gethin Norman, David Parker, Xueyi Zou
Verification and control of partially observable probabilistic systems. Real Time Syst. 53 (3) (2017)
Marta Kwiatkowska, Gethin Norman, David Parker
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools (2017)
Zaruhi Aslanyan, Flemming Nielson, David Parker
Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF (2016)
Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya
Synthesizing efficient systems in probabilistic environments. Acta Informatica 53 (4) (2016)
Nishanthan Kamaleson, David Parker, Jonathan E. Rowe
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. SPIN (2016)
Marta Kwiatkowska, David Parker, Clemens Wiltsche
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. TACAS (2016)
Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. CMSB (2016)
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Permissive Controller Synthesis for Probabilistic Systems. Log. Methods Comput. Sci. 11 (2) (2015)
Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek
The Hanoi Omega-Automata Format. CAV (1) (2015)
Gethin Norman, David Parker, Xueyi Zou
Verification and Control of Partially Observable Probabilistic Real-Time Systems. FORMATS (2015)
Bruno Lacerda, David Parker, Nick Hawes
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. IJCAI (2015)
Gethin Norman, David Parker, Xueyi Zou
Verification and Control of Partially Observable Probabilistic Real-Time Systems. CoRR (2015)
Bruno Lacerda, David Parker, Nick Hawes
Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). AAAI Fall Symposia (2015)
Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Permissive Controller Synthesis for Probabilistic Systems. TACAS (2014)
Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind (2014)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Verification of Markov Decision Processes Using Learning Algorithms. ATVA (2014)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma
Verification of Markov Decision Processes using Learning Algorithms. CoRR (2014)
Bruno Lacerda, David Parker, Nick Hawes
Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. IROS (2014)
Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538 (2014)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker
Probabilistic Point-to-Point Information Leakage. CSF (2013)
Gethin Norman, David Parker, Jeremy Sproston
Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43 (2) (2013)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232 (2013)
Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
Strategic Analysis of Trust Models for User-Centric Networks SR (2013)
Christian Dehnert, Joost-Pieter Katoen, David Parker
SMT-Based Bisimulation Minimisation of Markov Models. VMCAI (2013)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS (2013)

David Parker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Parker