Dave Parker

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.

Research activity per year

100 - 126 out of 126 results

2019
Quantitative verification of numerical stability for Kalman filters
Evangelidis, A. & Parker, D., 23 Sept 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. Springer, p. 425-441 17 p. (Lecture Notes in Computer Science; vol. 11800).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
2 Citations (Scopus)

202 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 proceeding › Conference contribution

Open Access
File
9 Citations (Scopus)

297 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 journal › Article › peer-review

Open Access
File
1 Citation (Scopus)

288 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 proceeding › Conference contribution

Open Access
File
17 Citations (Scopus)

343 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 proceeding › Conference contribution

Open Access
File
10 Citations (Scopus)

228 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 proceeding › Conference contribution

Open Access
File
3 Citations (Scopus)

150 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access
File
23 Downloads (Pure)
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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 journal › Article › peer-review

Open Access
File
164 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 journal › Article › peer-review

Open Access
File
143 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 proceeding › Conference contribution

Open Access
File
170 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 journal › Article › peer-review

Open Access
File
69 Downloads (Pure)
Quantitative verification of Kalman filters
Evangelidis, A. & Parker, D., 5 Feb 2021, (E-pub ahead of print) In: Formal Aspects of Computing. 33, 4-5, p. 669-693
Research output: Contribution to journal › Article › peer-review

Open Access
File
70 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 (Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
172 Downloads (Pure)
Verifying reinforcement learning up to infinity
Bacci, E., Giacobbe, 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 proceeding › Conference contribution

Open Access
File
193 Downloads (Pure)
2022
A value-based dynamic learning approach for vehicle dispatch in ride-sharing
Li, C., Parker, D. & Hao, Q., 26 Dec 2022, (E-pub ahead of print) 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2022). IEEE, p. 11388-11395 8 p. (IEEE/RSJ International Conference on Intelligent Robots and Systems).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
30 Downloads (Pure)
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 proceeding › Conference contribution

Open Access
File
26 Downloads (Pure)
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
Yan, R., Santos, G., Duan, X., Parker, D. & Kwiatkowska, M., 28 Sept 2022, Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence: Uncertainty in Artificial Intelligence, 1-5 August 2022, Eindhoven, The Netherlands. Cussens, J. & Zhang, K. (eds.). Proceedings of Machine Learning Research, p. 2170-2180 11 p. (Proceedings of Machine Learning Research; vol. 180).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
20 Downloads (Pure)
Multi-objective controller synthesis with uncertain human preferences
Chen, S., Boggess, K., Parker, D. & Feng, L., 24 Jun 2022, (E-pub ahead of print) 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS). Los Alamitos, California, Washington, Tokyo: IEEE, Vol. 2022. p. 170-180 11 p. (ACM/IEEE International Conference on Cyber-Physical Systems).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
9 Downloads (Pure)
Planning for automated vehicles with human trust
Sheng, S., Pakdamanian, E., Han, K., Wang, Z., Lenneman, J., Parker, D. & Feng, L., 2 Sept 2022, (E-pub ahead of print) In: ACM Transactions on Cyber-Physical Systems.
Research output: Contribution to journal › Article › peer-review

Open Access
File
9 Downloads (Pure)
Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
Kwiatkowska, M., Norman, G., Parker, D., Santos, G. & Yan, R., 22 Aug 2022, 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Szeider, S., Ganian, R. & Silva, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl, Vol. 241. 22 p. 4. (Leibniz International Proceedings in Informatics).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
31 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., 28 Jun 2022, Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence. Palo Alto, California: AAAI Press, p. 9669-9678 11 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 36, no. 9).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
28 Downloads (Pure)
Verified probabilistic policies for deep reinforcement learning
Bacci, E. & Parker, D., 20 May 2022, NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Cham: Springer, Vol. 13260. p. 193-212 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13260 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
28 Downloads (Pure)

Dave Parker

Research output

Search results