Recent publications
Article
Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2021, 'Automatic verification of concurrent stochastic systems', Formal Methods in System Design. https://doi.org/10.1007/s10703-020-00356-y
Al-Ajeli, A & Parker, D 2021, 'Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach', Automatica, vol. 132, 109831. https://doi.org/10.1016/j.automatica.2021.109831
Kwiatkowska, M, Norman, G & Parker, D 2021, 'Probabilistic model checking and autonomy', Annual Review of Control, Robotics, and Autonomous Systems. https://doi.org/10.1146/annurev-control-042820-010947
Evangelidis, A & Parker, D 2021, 'Quantitative verification of Kalman filters', Formal Aspects of Computing. https://doi.org/10.1007/s00165-020-00529-w
Chapter (peer-reviewed)
Yan, R, Santos, G, Duan, X, Parker, D & Kwiatkowska, M 2022, Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. in Proc. 38th Conference on Uncertainty in Artificial Intelligence (UAI'22).
Conference contribution
Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2022, Correlated equilibria and fairness in concurrent stochastic games. in D Fisman & G Rosu (eds), TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, no. 13244, Springer, pp. 60–78, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 2/04/22. https://doi.org/10.1007/978-3-030-99527-0_4
Chen, S, Boggess, K, Parker, D & Feng, L 2022, Multi-objective controller synthesis with uncertain human preferences. in 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS). ACM/IEEE International Conference on Cyber-Physical Systems, IEEE, 13th ACM/IEEE International Conference on Cyber-Physical Systems, 4/05/22.
Bacci, E & Parker, D 2022, Verified probabilistic policies for deep reinforcement learning. in Proc. 14th International Symposium NASA Formal Methods (NFM'22). Springer, NASA Formal Methods 2022, Pasadena, California, United States, 24/05/22.
Li, C, Parker, D & Hao, Q 2021, Optimal online dispatch for high-capacity shared autonomous mobility-on-demand systems. in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Conference on Robotics and Automation (ICRA), IEEE, 2021 IEEE International Conference on Robotics and Automation (ICRA), Xi’an , China, 30/05/21. https://doi.org/10.1109/ICRA48506.2021.9561281
Badings, TS, Abate, A, Jansen, N, Parker, D, Poonawala, HA & Stoelinga, M 2021, Sampling-based robust control of autonomous systems with non-Gaussian noise. in AAAI'22 Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence. Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 36th AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, 22/02/22.
Li, C, Parker, D & Hao, Q 2021, Vehicle dispatch in on-demand ride-sharing with stochastic travel times. in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE International Workshop on Intelligent Robots and Systems (IROS), IEEE, pp. 5966-5972, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems, Prague, Czech Republic, 27/09/21. https://doi.org/10.1109/IROS51168.2021.9636499
Bacci, E, Giacobbe, M & Parker, D 2021, Verifying reinforcement learning up to infinity. in Z-H Zhou (ed.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence: Montreal, 19-27 August 2021. International Joint Conferences on Artificial Intelligence Organization (IJCAI), pp. 2154-2160, 30th International Joint Conference on Artificial Intelligence (IJCAI-21), 21/08/21. https://doi.org/10.24963/ijcai.2021/297
Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2020, Multi-player Equilibria Verification for Concurrent Stochastic Games. in Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST'20). Lecture Notes in Computer Science, Springer, 17th International Conference on Quantitative Evaluation of SysTems (QEST'20), Virtual Event, 31/08/20.
Budde, CE, Hartmanns, A, Klauck, M, Křetínský, J, Parker, D, Quatmann, T, Turrini, A & Zhang, Z 2020, On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report. in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20). Lecture Notes in Comuter Science, Springer, 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20), Rhodes, Greece, 20/10/20.
Kwiatkowska, M, Norman, G, Parker, D & Santos, G 2020, PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. in 32nd International Conference on Computer Aided Verification (CAV 2020), Proceedings. Lecture Notes in Computer Science, Springer, 32nd International Conference on Computer Aided Verification (CAV 2020), 19/07/20.
View all publications in research portal