Dave Parker

Publications

  1. Published
  2. Published

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

    Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 1 Sep 2010, In: Formal Methods in System Design. 36, 3, p. 246-280

    Research output: Contribution to journalArticlepeer-review

  3. Published

    A symbolic out-of-core solution method for Markov models

    Marta Kwiatkowska, , Gethin Norman & David Parker, 1 Jan 2002.

    Research output: Contribution to conference (unpublished)Paper

  4. Published

    A wavefront parallelisation of CTMC solution using MTBDDs

    David Parker & Marta Kwiatkowska, 1 Jan 2005, p. 734-742. 9 p.

    Research output: Contribution to conference (unpublished)Paper

  5. E-pub ahead of print

    ATEN: And/Or Tree Ensemble for inferring accurate Boolean network topology and dynamics

    David Parker & Shan He, 17 Jul 2019, (E-pub ahead of print) In: Bioinformatics. 8 p., btz563.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Abstraction Refinement for Probabilistic Software

    Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 2009, Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, ND. & Muller-Olm, M. (eds.). Springer, p. 182-197 (Lecture Notes in Computer Science ; vol. 5403).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  7. Published

    An investigation into the feasibility of radioactive gas imaging for studies in process tomography

    Andy Ingram, Thomas Leadbeater & David Parker, 1 Jan 2014, 7th World Congress in Industrial Process Tomography. International Society for Industrial Process Tomography, p. 897-906 10 p. (7th World Congress in Industrial Process Tomography).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Assume-Guarantee Verification for Probabilistic Systems

    David Parker & , 2010, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Esparza, J. & Majumdar, R. (eds.). Springer, p. 23-37 (Lecture Notes in Computer Science; vol. 6015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    Automated Verification of Concurrent Stochastic Games

    David Parker & , 15 Aug 2018, Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18).. Springer, 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Automated formal analysis of side-channel attacks on probabilistic systems

    Chris Novakovic & David Parker, 15 Sep 2019, Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Springer, p. 319-337 19 p. (Lecture Notes in Computer Science ; vol. 11735)(Security and Cryptology; vol. 11735).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published
  12. Published
  13. Published
  14. Published

    Automatic verification of competitive stochastic systems

    David Parker & , 1 Aug 2013, In: Formal Methods in System Design. 43, 1, p. 61-92

    Research output: Contribution to journalArticlepeer-review

  15. E-pub ahead of print

    Automatic verification of concurrent stochastic systems

    David Parker & , 22 Jan 2021, (E-pub ahead of print) In: Formal Methods in System Design. 58 p.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Compositional probabilistic verification through multi-objective model checking

    Marta Kwiatkowska, Gethin Norman, David Parker & , Nov 2013, In: Information and Computation. 232, p. 38-65

    Research output: Contribution to journalArticlepeer-review

  17. Published
  18. Published
  19. Published
  20. Published
  21. Published
  22. Published

    Controller dependability analysis by probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004.

    Research output: Contribution to conference (unpublished)Paper

  23. Published
  24. Published

    Dual-processor parallelisation of symbolic probabilistic model checking

    Marta Kwiatkowska, David Parker, Yi Zhang & , 1 Jan 2004, p. 123-130. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  25. Published

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

    David Parker, Jul 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 22-28, Proceedings. Majumdar, R. & Kunčak, V. (eds.). Springer, p. 160-180 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Published

    Equilibria-based probabilistic model checking for concurrent stochastic games

    David Parker & , 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science; vol. 11800)(Programming and Software Engineering; vol. 11800).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Published
  28. Published

    Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking

    Gethin Norman, David Parker, Marta Kwiatkowska & , 1 Jan 2004, p. 907-914. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  29. Published

    Faster and symbolic CTMC model checking

    Marta Kwiatkowska, Gethin Norman, David Parker, & , 1 Jan 2001, p. 23-38. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  30. Accepted/In press

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

    David Parker, 5 Jun 2021, (Accepted/In press) In: Automatica.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    Finite-Horizon Bisimulation Minimisation for Probabilistic Systems

    David Parker & Jon Rowe, 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, p. 147-164 18 p. (Lecture Notes in Computer Science; vol. 9641).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Published

    Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

    Chunyan Mu, , David Parker & Jon Rowe, 2016, Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Springer, p. 232-251 (Lecture Notes in Computer Science; vol. 9859).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Published

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

    Gethin Norman, David Parker, Marta Kwiatkowska, , & , 1 Jan 2002, p. 45-50. 6 p.

    Research output: Contribution to conference (unpublished)Paper

  34. Published

    Game-based Abstraction for Markov Decision Processes

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 157-166. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  35. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Paper

  36. Published
  37. Published

    Local abstraction refinement for probabilistic timed programs

    Marta Kwiatkowska, David Parker & , 12 Jun 2014, In: Theoretical Computer Science. 538, p. 37-53

    Research output: Contribution to journalArticlepeer-review

  38. Published
  39. Accepted/In press

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

    Bruno Lacerda, David Parker & Nick Hawes, 26 Jan 2017, (Accepted/In press) Proceedings of the twenty seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Accepted/In press

    Multi-player Equilibria Verification for Concurrent Stochastic Games

    David Parker & , 19 Jun 2020, (Accepted/In press) Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST'20). Springer, 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Published

    Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint

    David Parker, Chris Good, Jon Rowe, & , 7 Mar 2019, In: Scientific Reports. 9, 1, 17 p., 3902.

    Research output: Contribution to journalArticlepeer-review

  42. Published

    Nested value iteration for partially satisfiable co-safe ltl specifications (Extended Abstract)

    Bruno Lacerda, David Parker & Nick Hawes, 2015, AAAI Fall Symposium - Technical Report. AI Access Foundation, Vol. FS-15-06. p. 54-55 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. Published
  44. Published

    Numerical vs. statistical probabilistic model checking: An empirical study

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, p. 46-60. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  45. Accepted/In press

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

    David Parker, , & , 13 Jul 2020, (Accepted/In press) Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20). Springer, 25 p. (Lecture Notes in Comuter Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Published

    On reduction criteria for probabilistic reward models

    Gethin Norman, , , Marta Kwiatkowska & David Parker, 1 Jan 2006, p. 309-320. 12 p.

    Research output: Contribution to conference (unpublished)Paper

  47. Published

    On the Use of MTBDDs for Peformability Analysis and Verification of Stochastic Systems

    Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jan 2003, p. 23-67. 45 p.

    Research output: Contribution to conference (unpublished)Paper

  48. Published

    Online fault diagnosis in Petri net models of discrete-event systems using Fourier-Motzkin

    David Parker, 1 Nov 2018, Proceedings of the 12th UKACC International Conference on Control. IEEE Xplore, p. 397-402 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Published

    Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications

    David Parker, Bruno Lacerda & Nick Hawes, 18 Feb 2014.

    Research output: Contribution to conference (unpublished)Paperpeer-review

  50. Published

    Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications

    Bruno Lacerda, David Parker & Nick Hawes, 20 Jul 2015, Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15). Yang, Q. & Wooldridge, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 1587-1593

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Published

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

    Bruno Lacerda, David Parker & Nick Hawes, 31 Oct 2014, IEEE International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers (IEEE), p. 1511-1516 6 p. 6942756

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. Accepted/In press

    Optimal online dispatch for high-capacity shared autonomous mobility-on-demand systems

    David Parker & , 28 Feb 2021, (Accepted/In press) 2021 IEEE International Conference on Robotics and Automation (ICRA). IEEE, (IEEE International Conference on Robotics and Automation (ICRA)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. E-pub ahead of print

    Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

    David Parker & Jon Rowe, 9 Feb 2018, (E-pub ahead of print) In: IEEE - ACM Transactions on Computational Biology and Bioinformatics. 14 p.

    Research output: Contribution to journalArticlepeer-review

  54. Published

    PRISM 2.0: A tool for probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, p. 322-323. 2 p.

    Research output: Contribution to conference (unpublished)Paper

  55. Published
  56. E-pub ahead of print
  57. Published

    PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games

    David Parker & , 9 Apr 2016, Proceedings 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). Chechik, M. & Raskin, J-F. (eds.). Springer, 6 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Accepted/In press

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

    David Parker & , 6 Apr 2020, (Accepted/In press) 32nd International Conference on Computer Aided Verification (CAV 2020), Proceedings. Springer, 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Published
  60. Published

    PRISM: A Tool for Automatic Verification of Probabilistic Systems

    Marta Kwiatkowska, Gethin Norman, David Parker, & , 1 Jan 2006, p. 441-444. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  61. Published

    PRISM: A tool for automatic verification of probabilistic systems

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 441-444. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  62. Published

    PRISM: Probabilistic Symbolic Model Checker

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2001.

    Research output: Contribution to conference (unpublished)Paper

  63. Published
  64. Published

    PRISM: Probabilistic symbolic model checker

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002, p. 200-204. 5 p.

    Research output: Contribution to conference (unpublished)Paper

  65. Published
  66. Published
  67. Published

    Performance Analysis of Probabilistic Timed Automata using Digital Clocks

    Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jul 2006, In: Formal Methods in System Design. 29, 1, p. 33-78 46 p.

    Research output: Contribution to journalArticle

  68. Published

    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

    David Parker & Rami Bahsoon, 13 Jul 2017, Proceedings of 2017 IEEE/ACM 17th International Symposium on Cluster, Cloud and Grid Computing (CCGrid'17). IEEE Xplore, p. 355-364

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. E-pub ahead of print

    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

    Alexandros Evangelidis, David Parker & Rami Bahsoon, 10 Jan 2018, (E-pub ahead of print) In: Future Generation Computer Systems. 21 p.

    Research output: Contribution to journalArticlepeer-review

  70. Published

    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

    Alexandros Evangelidis, David Parker & Rami Bahsoon, 13 Jul 2017, Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. IEEE Computer Society Press, p. 355 364 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. Published
  72. Published

    Performance analysis of probabilistic timed automata using digital clocks

    Marta Kwiatkowska, Gethin Norman, David Parker & Jeremy Sproston, 1 Jan 2004, p. 105-120. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  73. Published

    Permissive Controller Synthesis for Probabilistic Systems

    David Parker & , 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (eds.). Springer, Vol. 8413. p. 531-546 16 p. Chapter 44. (Lecture Notes in Computer Science; vol. 8413).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  74. Published

    Permissive Controller Synthesis for Probabilistic Systems

    David Parker & , 30 Jun 2015, In: Logical Methods in Computer Science. 11, 12, 16.

    Research output: Contribution to journalArticlepeer-review

  75. Accepted/In press

    Probabilistic Guarantees for Safe Deep Reinforcement Learning

    Edoardo Bacci & David Parker, 29 Jun 2020, (Accepted/In press) Proceedings of 18th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2020). Bertrand, N. & Jansen, N. (eds.). Springer, 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Accepted/In press

    Probabilistic Model Checking: Advances and Applications

    David Parker, 1 Apr 2017, (Accepted/In press) Formal System Verification: State-of the-Art and Future Trends. Drechsler, R. (ed.). Springer, 48 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  77. Published

    Probabilistic model checking and power-aware computing

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2005, p. 6-9. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  78. Published
  79. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jan 2006, p. 32-47. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  80. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jan 2006, p. 32-47. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  81. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker & , 14 Feb 2008, In: Theoretical Computer Science. 391, 3, p. 239-257 19 p.

    Research output: Contribution to journalArticlepeer-review

  82. Published

    Probabilistic model checking of labelled markov processes via finite approximate bisimulations

    David Parker, 2014, Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Vol. 8464 LNCS. p. 40-58 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  83. Published

    Probabilistic planning with formal performance guarantees for mobile service robots

    Fatma Faruq, David Parker & , 1 Aug 2019, In: The International Journal of Robotics Research. 38, 9, p. 1098–1123 26 p.

    Research output: Contribution to journalArticlepeer-review

  84. Published

    Probabilistic point-to-point information leakage

    Tom Chothia, Yusuke Kawamoto, & David Parker, 9 Oct 2013, Proceedings - 2013 IEEE 26th Computer Security Foundations Symposium, CSF 2013. p. 193-205 13 p. 6595829

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  85. Published

    Probabilistic symbolic model checker

    Marta Kwiatkowska, Gethin Norman, David Parker, , , & , 1 Jan 2002, p. LNCS 200-204.

    Research output: Contribution to conference (unpublished)Paper

  86. Published

    Probabilistic symbolic model checking with PRISM: A hybrid approach

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002, p. 52-66. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  87. Published
  88. Published
  89. E-pub ahead of print

    Quantitative Verification and Synthesis of Attack-Defence Scenarios

    David Parker, 11 Aug 2016, (E-pub ahead of print) Proceedings 29th IEEE Computer Security Foundations Symposium (CSF'16). IEEE Xplore

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  90. Accepted/In press

    Quantitative Verification of Certificate Transparency Gossip Protocols

    Michael Oxford, David Parker & Mark Ryan, 3 May 2020, (Accepted/In press) Proceedings of 6th International Workshop on Security and Privacy in the Cloud (SPC'20). IEEE Computer Society Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  91. Published
  92. E-pub ahead of print

    Quantitative verification of Kalman filters

    Alexandros Evangelidis & David Parker, 5 Feb 2021, (E-pub ahead of print) In: Formal Aspects of Computing.

    Research output: Contribution to journalArticlepeer-review

  93. Published

    Quantitative verification of numerical stability for Kalman filters

    Alexandros Evangelidis & David Parker, 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. Springer, 17 p. (Lecture Notes in Computer Science; vol. 11800).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  94. Published

    Simulation and Verification for Computational Modelling of Signalling Pathways

    Marta Kwiatkowska, Gethin Norman, David Parker, , John Heath, Eamonn Gaffney, , , , , & , 1 Jan 2006, p. 1666-12675. 11010 p.

    Research output: Contribution to conference (unpublished)Paper

  95. Published

    Simultaneous task allocation and planning under uncertainty

    Fatma Faruq, , & David Parker, 7 Jan 2019, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE Computer Society Press, p. 3559-3564 6 p. (IEEE International Workshop on Intelligent Robots and Systems (IROS) ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. Published

    Software adaptation for an unmanned undersea vehicle

    David Parker, & Chris Novakovic, 1 Mar 2019, In: IEEE Software. 36, 2, p. 91-96 6 p., 8648259.

    Research output: Contribution to journalArticlepeer-review

  97. Published
  98. Published

    Stochastic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 2007, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  99. Published

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

    David Parker, 25 Jul 2017, KiMfest : A conference in honour of Kim G. Larsen on the occasion of his 60th birthday. Springer, p. 289-309 21 p. (Lecture Notes in Computer Science ; vol. 10460).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. Published

    Symbolic representations and analysis of large probabilistic systems

    David Parker, , , , , & , 1 Jan 2004, Validation of Stochastic Systems: A Guide to Current Research.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  101. Published

    Symmetry reduction for probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 234-248. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  102. Published

    Synthesizing efficient systems in probabilistic environments

    David Parker & , May 2015, In: Acta Informatica. 237

    Research output: Contribution to journalArticlepeer-review

  103. Published
  104. Published
  105. Published
  106. E-pub ahead of print

    The 2019 comparison of tools for the analysis of quantitative formal models (QComp 2019 competition report)

    David Parker, , & , 4 Apr 2019, (E-pub ahead of print) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, Vol. 3. p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  107. Published

    The Hanoi Omega-Automata Format

    David Parker & , 16 Jul 2015, Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Kroening, D. & Păsăreanu, C. S. (eds.). Springer, Vol. 9206 LNCS. p. 479-486

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  108. Published

    The PRISM benchmark suite

    Gethin Norman & David Parker, 2012, Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  109. E-pub ahead of print

    The quantitative verification benchmark set

    David Parker, & , 4 Apr 2019, (E-pub ahead of print) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, Vol. 1. p. 344–350 7 p. (Lecture Notes in Computer Science; vol. 11427).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  110. Published

    Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2

    Gethin Norman, , David Parker & , 1 Mar 2007, University of Birmingham.

    Research output: Book/ReportCommissioned report

  111. Published

    Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2

    Gethin Norman, David Parker, Marta Kwiatkowska, , , , & , 1 Jan 2003, p. 202-215. 14 p.

    Research output: Contribution to conference (unpublished)Paper

  112. Published

    Using probabilistic model checking for dynamic power management

    Gethin Norman, David Parker, Marta Kwiatkowska, & , 1 Aug 2005, In: Formal Aspects of Computing. 17, 2, p. 160-176 17 p.

    Research output: Contribution to journalArticle

  113. Accepted/In press

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

    David Parker & , 30 Jun 2021, (Accepted/In press) Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'21).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  114. Published

    Verification and control of partially observable probabilistic real-time systems

    Gethin Norman, David Parker & , 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Vol. 9268. p. 240-255 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  115. Published

    Verification and control of partially observable probabilistic systems

    David Parker & , May 2017, In: Real-Time Systems. 53, 3, p. 354–402 49 p.

    Research output: Contribution to journalArticlepeer-review

  116. Published

    Verification and control of turn-based probabilistic real-time games

    David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  117. Published

    Verification of markov decision processes using learning algorithms

    David Parker & , 2014, Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Springer, Vol. 8837. p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  118. Accepted/In press

    Verifying reinforcement learning up to infinity

    Edoardo Bacci, & David Parker, 29 Apr 2021, (Accepted/In press) Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization (IJCAI)

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review