Dave Parker

Prof

Accepting PhD Students

PhD projects

David Parker's research focuses on verification: formal techniques for checking that systems function correctly. In particular, he is interested in quantitative verification, which focuses on the analysis of systems with probabilistic and real-time behaviour. Dr Parker's work spans the development of new theory, algorithms and tools for this area, as well as investigating its applicability to a wide range of areas, including biology and security. He also leads the development of the probabilistic model checking tool PRISM.

20012022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 2019

    Probabilistic planning with formal performance guarantees for mobile service robots

    Lacerda, B., Faruq, F., Parker, D. & Hawes, N., 1 Aug 2019, In: The International Journal of Robotics Research. 38, 9, p. 1098–1123 26 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    8 Citations (Scopus)
    151 Downloads (Pure)
  • Quantitative verification of numerical stability for Kalman filters

    Evangelidis, A. & Parker, D., 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

    Open Access
    File
    2 Citations (Scopus)
    154 Downloads (Pure)
  • Simultaneous task allocation and planning under uncertainty

    Faruq, F., Lacerda, B., Hawes, N. & Parker, D., 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

    Open Access
    File
    9 Citations (Scopus)
    214 Downloads (Pure)
  • Software adaptation for an unmanned undersea vehicle

    Pfeffer, A., Wu, C., Fry, G., Lu, K., Marotta, S., Reposa, M., Shi, Y., Kumar, T. K. S., Knoblock, C. A., Parker, D., Muhammad, I. & Novakovic, C., 1 Mar 2019, In: IEEE Software. 36, 2, p. 91-96 6 p., 8648259.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    1 Citation (Scopus)
    205 Downloads (Pure)
  • The 2019 comparison of tools for the analysis of quantitative formal models (QComp 2019 competition report)

    Hahn, E. M., Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Kretínský, J., Parker, D., Quatmann, T., Ruijters, E. & Steinmetz, M., 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

    Open Access
    File
    17 Citations (Scopus)
    278 Downloads (Pure)
  • The quantitative verification benchmark set

    Hartmanns, A., Klauck, M., Parker, D., Quatmann, T. & Ruijters, E., 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

    Open Access
    File
    10 Citations (Scopus)
    139 Downloads (Pure)
  • Verification and control of turn-based probabilistic real-time games

    Kwiatkowska, M., Norman, G. & Parker, D., 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

    Open Access
    File
    3 Citations (Scopus)
    105 Downloads (Pure)
  • 2020

    Multi-player Equilibria Verification for Concurrent Stochastic Games

    Kwiatkowska, M., Norman, G., Parker, D. & Santos, G., 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

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

    Budde, C. E., Hartmanns, A., Klauck, M., Křetínský, J., Parker, D., Quatmann, T., Turrini, A. & Zhang, Z., 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

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

    Kwiatkowska, M., Norman, G., Parker, D. & Santos, G., 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

  • Probabilistic Guarantees for Safe Deep Reinforcement Learning

    Bacci, E. & Parker, D., 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

  • Quantitative Verification of Certificate Transparency Gossip Protocols

    Oxford, M., Parker, D. & Ryan, M., 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

  • 2021

    Automatic verification of concurrent stochastic systems

    Kwiatkowska, M., Norman, G., Parker, D. & Santos, G., 22 Jan 2021, (E-pub ahead of print) In: Formal Methods in System Design. 58 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    79 Downloads (Pure)
  • Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach

    Al-Ajeli, A. & Parker, D., Oct 2021, In: Automatica. 132, 7 p., 109831.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    54 Downloads (Pure)
  • Optimal online dispatch for high-capacity shared autonomous mobility-on-demand systems

    Li, C., Parker, D. & Hao, Q., 18 Oct 2021, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, 7 p. (IEEE International Conference on Robotics and Automation (ICRA)).

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

    Open Access
    File
    70 Downloads (Pure)
  • Probabilistic model checking and autonomy

    Kwiatkowska, M., Norman, G. & Parker, D., 6 Dec 2021, (E-pub ahead of print) In: Annual Review of Control, Robotics, and Autonomous Systems.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    5 Downloads (Pure)
  • Quantitative verification of Kalman filters

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

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Sampling-based robust control of autonomous systems with non-Gaussian noise

    Badings, T. S., Abate, A., Jansen, N., Parker, D., Poonawala, H. A. & Stoelinga, M., 1 Dec 2021, (Accepted/In press) AAAI'22 Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence. AAAI Press, (Proceedings of the AAAI Conference on Artificial Intelligence).

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

    Open Access
    File
    8 Downloads (Pure)
  • Vehicle dispatch in on-demand ride-sharing with stochastic travel times

    Li, C., Parker, D. & Hao, Q., 16 Dec 2021, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 5966-5972 (IEEE International Workshop on Intelligent Robots and Systems (IROS)).

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

    Open Access
    File
    61 Downloads (Pure)
  • Verifying reinforcement learning up to infinity

    Bacci, E., Gia­cob­be, M. & Parker, D., 27 Aug 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence: Montreal, 19-27 August 2021. Zhou, Z-H. (ed.). International Joint Conferences on Artificial Intelligence Organization (IJCAI), p. 2154-2160 7 p.

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

    Open Access
    File
    89 Downloads (Pure)
  • 2022

    Correlated equilibria and fairness in concurrent stochastic games

    Kwiatkowska, M., Norman, G., Parker, D. & Santos, G., 30 Mar 2022, TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems. Fisman, D. & Rosu, G. (eds.). Springer, p. 60–78 (Lecture Notes in Computer Science; no. 13244).

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

    Open Access
    File
    4 Downloads (Pure)
  • Multi-objective controller synthesis with uncertain human preferences

    Chen, S., Boggess, K., Parker, D. & Feng, L., 17 Jan 2022, (Accepted/In press) 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS). IEEE, (ACM/IEEE International Conference on Cyber-Physical Systems).

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

    Open Access
    File
    3 Downloads (Pure)
  • Verified probabilistic policies for deep reinforcement learning

    Bacci, E. & Parker, D., 14 Mar 2022, (Accepted/In press) Proc. 14th International Symposium NASA Formal Methods (NFM'22). Springer

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

    Open Access
    File
    2 Downloads (Pure)