Dave Parker
Publications
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- E-pub ahead of print
Quantitative Verification and Synthesis of Attack-Defence Scenarios
David Parker, 11 Aug 2016, Proceedings 29th IEEE Computer Security Foundations Symposium (CSF'16). IEEE XploreResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 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-486Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
- 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
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 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
- Published
Automatic verification of competitive stochastic systems
David Parker, 1 Aug 2013, In: Formal Methods in System Design. 43, 1, p. 61-92Research output: Contribution to journal › Article › peer-review