Dave Parker
Publications
- 2021
- Accepted/In press
Optimal Online Dispatch For High-Capacity Shared Autonomous Mobility-on-Demand Systems
David Parker, 28 Feb 2021, (Accepted/In press) Proc. IEEE International Conference on Robotics and Automation (ICRA'21).Research output: Chapter in Book/Report/Conference proceeding › Chapter
- E-pub ahead of print
Automatic verification of concurrent stochastic systems
David Parker, 22 Jan 2021, In: Formal Methods in System Design. 58 p.Research output: Contribution to journal › Article › peer-review
- 2020
- Accepted/In press
Quantitative Verification of Kalman Filters
Alexandros Evangelidis & David Parker, 29 Nov 2020, (Accepted/In press) In: Formal Aspects of Computing. 25 p.Research output: Contribution to journal › Article › peer-review
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 2019
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution