Dave Parker
Publications
- 2016
- 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
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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 2015
- 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 proceeding › Chapter (peer-reviewed) › peer-review
- 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-1593Research 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
- 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 journal › Article › peer-review
- Published
Synthesizing efficient systems in probabilistic environments
David Parker, May 2015, In: Acta Informatica. 237Research output: Contribution to journal › Article › peer-review
- 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 proceeding › Conference contribution