Dave Parker

Publications

  1. 2021
  2. Accepted/In press

    Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach

    David Parker, 5 Jun 2021, (Accepted/In press) In: Automatica.

    Research output: Contribution to journalArticlepeer-review

  3. Accepted/In press

    Verifying reinforcement learning up to infinity

    Edoardo Bacci & David Parker, 29 Apr 2021, (Accepted/In press) Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization (IJCAI)

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  4. Accepted/In press

    Optimal online dispatch for high-capacity shared autonomous mobility-on-demand systems

    David Parker, 28 Feb 2021, (Accepted/In press) 2021 IEEE International Conference on Robotics and Automation (ICRA). IEEE, (IEEE International Conference on Robotics and Automation (ICRA)).

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

  5. E-pub ahead of print

    Quantitative verification of Kalman filters

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

    Research output: Contribution to journalArticlepeer-review

  6. E-pub ahead of print

    Automatic verification of concurrent stochastic systems

    David Parker, 22 Jan 2021, (E-pub ahead of print) In: Formal Methods in System Design. 58 p.

    Research output: Contribution to journalArticlepeer-review

  7. 2020
  8. 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 proceedingConference contribution

  9. 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 proceedingConference contribution

  10. 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 proceedingConference contribution

  11. 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 proceedingConference contribution

  12. 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 proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...11 Next