Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Parker 0001
David Anthony Parker
Person information
- affiliation: University of Oxford, Department of Computer Science, UK
- affiliation (former): University of Birmingham, School of Computer Science, UK
Other persons with the same name
- David Parker — disambiguation page
- David Parker 0002
![[0000-0003-1482-1355]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0003-1482-1355")
— University of Hull - David Parker 0003 — University of Newcastle, UK
- David Parker 0004 — The Scarborough Hospital (and 1 more)
- David Parker 0005 — Aston University, Aston Business School, Birmingham, UK
- David Parker 0006 — Aberystwyth University, UK (and 1 more)
- David Parker 0007 — Dalhousie University, Halifax, Nova Scotia, Canada
- David Parker 0008 — Columbia University, New York, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2004
[b2]Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden:
Mathematical techniques for analyzing concurrent and probabilistic systems. CRM monograph series 23, American Mathematical Society 2004, ISBN 978-0-8218-3571-5, pp. I-VIII, 1-215- 2003
- [b1]David Anthony Parker:
Implementation of symbolic model checking for probabilistic systems. University of Birmingham, UK, 2003
Journal Articles
- 2023
- [j40]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: 341-391 (2023) - [j39]Sarah Carmesin, David Woller, David Parker, Miroslav Kulich, Masoumeh Mansouri:
The Hamiltonian Cycle and Travelling Salesperson problems with traversal-dependent edge deletion. J. Comput. Sci. 74: 102156 (2023) - 2022
- [j38]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. 5: 385-410 (2022) - [j37]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): 663-665 (2022) - [j36]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): 31:1-31:21 (2022) - 2021
- [j35]Ahmed Al-Ajeli, David Parker:
Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach. Autom. 132: 109831 (2021) - [j34]Alexandros Evangelidis, David Parker:
Quantitative verification of Kalman filters. Formal Aspects Comput. 33(4-5): 669-693 (2021) - [j33]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58(1-2): 188-250 (2021) - [j32]David Parker, Verena Wolf:
Introduction to the Special Issue on QEST 2019. ACM Trans. Model. Comput. Simul. 31(3): 12:1 (2021) - 2020
- [j31]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): 578-585 (2020) - 2019
- [j30]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) - [j29]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): 91-96 (2019) - 2018
- [j28]Alexandros Evangelidis, David Parker, Rami Bahsoon:
Performance modelling and verification of cloud-based auto-scaling policies. Future Gener. Comput. Syst. 87: 629-638 (2018) - [j27]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): 195-210 (2018) - [j26]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): 1152-1166 (2018) - [j25]David Parker:
Replicated Computational Results (RCR) Report for "ProPPA: Probabilistic Programming for Stochastic Dynamical Systems". ACM Trans. Model. Comput. Simul. 28(1): 4:1-4:3 (2018) - 2017
- [j24]Gethin Norman, David Parker, Xueyi Zou:
Verification and control of partially observable probabilistic systems. Real Time Syst. 53(3): 354-402 (2017) - 2016
- [j23]Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya:
Synthesizing efficient systems in probabilistic environments. Acta Informatica 53(4): 425-457 (2016) - 2015
- [j22]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) - 2014
- [j21]Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu:
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538: 37-53 (2014) - 2013
- [j20]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic verification of competitive stochastic systems. Formal Methods Syst. Des. 43(1): 61-92 (2013) - [j19]Gethin Norman, David Parker, Jeremy Sproston:
Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2): 164-190 (2013) - [j18]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232: 38-65 (2013) - 2012
- [j17]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. 24(4-6): 661-670 (2012) - [j16]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Int. J. Comput. Their Appl. 19(2): 101-111 (2012) - 2010
- [j15]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. 36(3): 246-280 (2010) - 2009
- [j14]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Evaluation Rev. 36(4): 40-45 (2009) - [j13]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti:
Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009) - [j12]Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. 35(2): 209-223 (2009) - 2008
- [j11]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Using probabilistic model checking in systems biology. SIGMETRICS Perform. Evaluation Rev. 35(4): 14-21 (2008) - [j10]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Analysis of a gossip protocol in PRISM. SIGMETRICS Perform. Evaluation Rev. 36(3): 17-22 (2008) - [j9]John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn:
Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391(3): 239-257 (2008) - 2006
- [j8]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29(1): 33-78 (2006) - [j7]Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 8(3): 216-228 (2006) - [j6]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. 8(6): 621-632 (2006) - 2005
- [j5]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta:
Using probabilistic model checking for dynamic power management. Formal Aspects Comput. 17(2): 160-176 (2005) - [j4]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Perform. Evaluation Rev. 32(4): 16-21 (2005) - [j3]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla:
Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(10): 1629-1637 (2005) - 2004
- [j2]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6(2): 128-142 (2004) - 2003
- [j1]Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle:
On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebraic Methods Program. 56(1-2): 23-67 (2003)
Conference and Workshop Papers
- 2023
- [c97]David Parker:
Multi-agent Verification and Control with Probabilistic Model Checking. QEST 2023: 1-9 - 2022
- [c96]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: 9669-9678 - [c95]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design 2022: 388-406 - [c94]Shenghui Chen, Kayla Boggess, David Parker, Lu Feng:
Multi-Objective Controller Synthesis with Uncertain Human Preferences. ICCPS 2022: 170-180 - [c93]Cheng Li, David Parker, Qi Hao:
A Value-based Dynamic Learning Approach for Vehicle Dispatch in Ride-Sharing. IROS 2022: 11388-11395 - [c92]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: 4:1-4:22 - [c91]Edoardo Bacci, David Parker:
Verified Probabilistic Policies for Deep Reinforcement Learning. NFM 2022: 193-212 - [c90]Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen:
Robust Anytime Learning of Markov Decision Processes. NeurIPS 2022 - [c89]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) 2022: 60-78 - [c88]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. UAI 2022: 2170-2180 - 2021
- [c87]Cheng Li, David Parker, Qi Hao:
Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems. ICRA 2021: 779-785 - [c86]Edoardo Bacci, Mirco Giacobbe, David Parker:
Verifying Reinforcement Learning up to Infinity. IJCAI 2021: 2154-2160 - [c85]Cheng Li, David Parker, Qi Hao:
Vehicle Dispatch in On-Demand Ride-Sharing with Stochastic Travel Times. IROS 2021: 5966-5972 - 2020
- [c84]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) 2020: 475-487 - [c83]Michael Oxford, David Parker, Mark Ryan:
Quantitative Verification of Certificate Transparency Gossip Protocols. CNS 2020: 1-9 - [c82]Edoardo Bacci, David Parker:
Probabilistic Guarantees for Safe Deep Reinforcement Learning. FORMATS 2020: 231-248 - [c81]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: 216-241 - [c80]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST 2020: 74-95 - 2019
- [c79]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems 2019: 379-396 - [c78]Chris Novakovic, David Parker:
Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems. ESORICS (1) 2019: 319-337 - [c77]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315 - [c76]Alexandros Evangelidis, David Parker:
Quantitative Verification of Numerical Stability for Kalman Filters. FM 2019: 425-441 - [c75]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: 69-92 - [c74]Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters:
The Quantitative Verification Benchmark Set. TACAS (1) 2019: 344-350 - 2018
- [c73]Fatma Faruq, David Parker, Bruno Lacerda, Nick Hawes:
Simultaneous Task Allocation and Planning Under Uncertainty. IROS 2018: 3559-3564 - [c72]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automated Verification of Concurrent Stochastic Games. QEST 2018: 223-239 - 2017
- [c71]Bruno Lacerda, David Parker, Nick Hawes:
Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees. ICAPS 2017: 504-512 - [c70]Marta Kwiatkowska, Gethin Norman, David Parker:
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools 2017: 289-309 - [c69]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: 160-180 - [c68]Alexandros Evangelidis, David Parker, Rami Bahsoon:
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. CCGrid 2017: 355-364 - 2016
- [c67]Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe:
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. CMSB 2016: 232-251 - [c66]Zaruhi Aslanyan, Flemming Nielson, David Parker:
Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF 2016: 105-119 - [c65]Nishanthan Kamaleson, David Parker, Jonathan E. Rowe:
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. SPIN 2016: 147-164 - [c64]Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. TACAS 2016: 560-566 - 2015
- [c63]Bruno Lacerda, David Parker, Nick Hawes:
Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). AAAI Fall Symposia 2015: 54-55 - [c62]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: 479-486 - [c61]Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. FORMATS 2015: 240-255 - [c60]Bruno Lacerda, David Parker, Nick Hawes:
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. IJCAI 2015: 1587-1593 - 2014
- [c59]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: 98-114 - [c58]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: 40-58 - [c57]Bruno Lacerda, David Parker, Nick Hawes:
Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. IROS 2014: 1511-1516 - [c56]Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Permissive Controller Synthesis for Probabilistic Systems. TACAS 2014: 531-546 - 2013
- [c55]Marta Z. Kwiatkowska, David Parker:
Automated Verification and Strategy Synthesis for Probabilistic Systems. ATVA 2013: 5-22 - [c54]Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker:
Probabilistic Point-to-Point Information Leakage. CSF 2013: 193-205 - [c53]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS 2013: 185-191 - [c52]Christian Dehnert, Joost-Pieter Katoen, David Parker:
SMT-Based Bisimulation Minimisation of Markov Models. VMCAI 2013: 28-47 - [c51]Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Strategic Analysis of Trust Models for User-Centric Networks. SR 2013: 53-59 - 2012
- [c50]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. ATVA 2012: 317-332 - [c49]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
The PRISM Benchmark Suite. QEST 2012: 203-204 - [c48]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
Incremental Runtime Verification of Probabilistic Systems. RV 2012: 314-319 - [c47]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330 - 2011
- [c46]Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker:
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521 - [c45]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139 - [c44]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591 - [c43]Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207 - [c42]Marta Z. Kwiatkowska, David Parker, Hongyang Qu:
Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370 - [c41]Lu Feng, Marta Z. Kwiatkowska, David Parker:
Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE 2011: 2-17 - [c40]Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang:
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST 2011: 69-78 - [c39]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113 - [c38]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127 - 2010
- [c37]Marta Kwiatkowska, Gethin Norman, David Parker:
Advances and challenges of probabilistic model checking. Allerton 2010: 1691-1698 - [c36]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45 - [c35]Lu Feng, Marta Z. Kwiatkowska, David Parker:
Compositional Verification of Probabilistic Systems Using Learning. QEST 2010: 133-142 - [c34]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37 - 2009
- [c33]Marta Kwiatkowska, Gethin Norman, David Parker:
Quantitative Verification Techniques for Biological Processes. Algorithmic Bioprocesses 2009: 391-409 - [c32]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227 - [c31]Konstantinos Chatzikokolakis, Gethin Norman, David Parker:
Bisimulation for Demonic Schedulers. FoSSaCS 2009: 318-332 - [c30]Alastair F. Donaldson, Alice Miller, David Parker:
Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST 2009: 289-298 - [c29]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197 - 2008
- [c28]Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112 - [c27]Frank Ciesinski, Christel Baier, Marcus Größer, David Parker:
Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76 - [c26]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Game-Based Probabilistic Predicate Abstraction in PRISM. QAPL 2008: 5-21 - 2007
- [c25]Alastair F. Donaldson, Alice Miller, David Parker:
GRIP: Generic Representatives in PRISM. QEST 2007: 115-116 - [c24]Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model checking the probabilistic pi-calculus. QEST 2007: 169-178 - [c23]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Stochastic Model Checking. SFM 2007: 220-270 - 2006
- [c22]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248 - [c21]John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn:
Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47 - [c20]Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker:
On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320 - [c19]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166 - [c18]Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444 - [c17]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney:
Simulation and verification for computational modelling of signalling pathways. WSC 2006: 1666-1674 - 2005
- [c16]Yi Zhang, David Parker, Marta Z. Kwiatkowska:
A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN 2005: 732-741 - [c15]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Quantitative Analysis With the Probabilistic Model Checker PRISM. QAPL 2005: 5-31 - 2004
- [c14]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275 - [c13]Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood:
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS 2004: 123-130 - [c12]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323 - [c11]Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60 - [c10]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla:
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. VLSI Design 2004: 907- - [c9]Andrew S. Miner, David Parker:
Symbolic Representations and Analysis of Large Probabilistic Systems. Validation of Stochastic Systems 2004: 296-338 - 2003
- [c8]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120 - 2002
- [c7]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204 - [c6]David Parker:
Computer Based Real-Time Simulator for Renewable Energy Converters. DELTA 2002: 280-286 - [c5]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta:
Formal analysis and validation of continuous-time Markov chain based system level power management strategies. HLDVT 2002: 45-50 - [c4]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66 - [c3]Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker:
A Symbolic Out-of-Core Solution Method for Markov Models. PDMC@CONCUR 2002: 589-604 - 2001
- [c2]Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38 - 2000
- [c1]Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala:
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS 2000: 395-410
Parts in Books or Collections
- 2014
- [p2]Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
On Incremental Quantitative Verification for Probabilistic Systems. HOWARD-60 2014: 245-257 - 2012
- [p1]Marta Z. Kwiatkowska, David Parker:
Advances in Probabilistic Model Checking. Software Safety and Security 2012: 126-151
Editorship
- 2022
- [e5]Sergiy Bogomolov, David Parker:
Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Lecture Notes in Computer Science 13465, Springer 2022, ISBN 978-3-031-15838-4 [contents] - 2020
- [e4]Armin Biere, David Parker:
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. Lecture Notes in Computer Science 12078, Springer 2020, ISBN 978-3-030-45189-9 [contents] - [e3]Armin Biere, David Parker:
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. Lecture Notes in Computer Science 12079, Springer 2020, ISBN 978-3-030-45236-0 [contents] - 2019
- [e2]David Parker, Verena Wolf:
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Lecture Notes in Computer Science 11785, Springer 2019, ISBN 978-3-030-30280-1 [contents] - 2012
- [e1]Alastair F. Donaldson, David Parker:
Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7385, Springer 2012, ISBN 978-3-642-31758-3 [contents]
Informal and Other Publications
- 2024
- [i28]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 abs/2403.09184 (2024) - 2023
- [i27]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 abs/2301.01526 (2023) - [i26]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR abs/2306.17639 (2023) - [i25]David Parker:
Multi-Agent Verification and Control with Probabilistic Model Checking. CoRR abs/2308.02829 (2023) - [i24]Ingy Elsayed-Aly, David Parker, Lu Feng:
Distributional Probabilistic Model Checking. CoRR abs/2309.05584 (2023) - [i23]Daniel Fentham, David Parker, Mark Ryan:
Using Reed-Muller Codes for Classification with Rejection and Recovery. CoRR abs/2309.06359 (2023) - [i22]Shili Sheng, David Parker, Lu Feng:
Safe POMDP Online Planning via Shielding. CoRR abs/2309.10216 (2023) - [i21]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2310.11566 (2023) - 2022
- [i20]Edoardo Bacci, David Parker:
Verified Probabilistic Policies for Deep Reinforcement Learning. CoRR abs/2201.03698 (2022) - [i19]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR abs/2201.09702 (2022) - [i18]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2202.06255 (2022) - [i17]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2205.07546 (2022) - [i16]Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker:
Robust Anytime Learning of Markov Decision Processes. CoRR abs/2205.15827 (2022) - [i15]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR abs/2206.15148 (2022) - [i14]Narges Khakpour, David Parker:
Partially-Observable Security Games for Automating Attack-Defense Analysis. CoRR abs/2211.01508 (2022) - [i13]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR abs/2211.06141 (2022) - 2021
- [i12]Shenghui Chen, Kayla Boggess, David Parker, Lu Feng:
Multi-Objective Controller Synthesis with Uncertain Human Preferences. CoRR abs/2105.04662 (2021) - [i11]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 abs/2110.12662 (2021) - [i10]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. CoRR abs/2111.10630 (2021) - 2020
- [i9]Edoardo Bacci, David Parker:
Probabilistic Guarantees for Safe Deep Reinforcement Learning. CoRR abs/2005.07073 (2020) - [i8]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020) - [i7]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic Verification of Concurrent Stochastic Systems. CoRR abs/2008.04613 (2020) - 2019
- [i6]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR abs/1906.09142 (2019) - 2018
- [i5]Fatma Faruq, Bruno Lacerda, Nick Hawes, David Parker:
Simultaneous Task Allocation and Planning Under Uncertainty. CoRR abs/1803.02906 (2018) - [i4]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR abs/1811.07145 (2018) - 2015
- [i3]Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. CoRR abs/1506.06419 (2015) - 2014
- [i2]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 abs/1402.2967 (2014) - 2012
- [i1]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. CoRR abs/1206.6295 (2012)
Coauthor Index
Marta Z. Kwiatkowska
aka: Marta Kwiatkowska
aka: Marta Kwiatkowska
[b2] [j38] [j33] [j27] [j22] [j21] [j20] [j18] [j17] [j16] [j15] [j14] [j13] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [j4] [j3] [j2] [j1] [c95] [c92] [c89] [c88] [c84] [c80] [c79] [c77] [c72] [c70] [c64] [c59] [c58] [c56] [c55] [c53] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c29] [c26] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c8] [c7] [c5] [c4] [c3] [c2] [c1] [p2] [p1] [i28] [i26] [i21] [i19] [i18] [i17] [i15] [i13] [i10] [i8] [i7] [i6] [i4] [i2] [i1]
[b2] [j38] [j33] [j24] [j19] [j18] [j17] [j16] [j15] [j14] [j13] [j12] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [j4] [j3] [j2] [j1] [c95] [c92] [c89] [c84] [c80] [c79] [c77] [c72] [c70] [c61] [c58] [c49] [c45] [c44] [c40] [c39] [c38] [c37] [c36] [c34] [c33] [c32] [c31] [c29] [c28] [c26] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [c15] [c14] [c12] [c11] [c10] [c8] [c7] [c5] [c4] [c3] [c2] [c1] [i26] [i21] [i19] [i18] [i15] [i13] [i10] [i8] [i7] [i6] [i4] [i3]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-18 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
