Recent publications
Article
Sheng, S, Pakdamanian, E, Han, K, Wang, Z, Lenneman, J, Parker, D & Feng, L 2022, 'Planning for automated vehicles with human trust', ACM Transactions on Cyber-Physical Systems. https://doi.org/10.1145/3561059
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
Conference contribution
Li, C, Parker, D & Hao, Q 2022, A value-based dynamic learning approach for vehicle dispatch in ride-sharing. in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2022). IEEE/RSJ International Conference on Intelligent Robots and Systems, IEEE, 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2022), Kyoto , Japan, 23/10/22.
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
Yan, R, Santos, G, Duan, X, Parker, D & Kwiatkowska, M 2022, Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. in J Cussens & K Zhang (eds), Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence: Uncertainty in Artificial Intelligence, 1-5 August 2022, Eindhoven, The Netherlands. Proceedings of Machine Learning Research, vol. 180, Proceedings of Machine Learning Research, pp. 2170-2180, 38th Conference on Uncertainty in Artificial Intelligence, Eindhoven, Netherlands, 1/08/22. <https://proceedings.mlr.press/v180/>
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). vol. 2022, ACM/IEEE International Conference on Cyber-Physical Systems, IEEE, Los Alamitos, California, Washington, Tokyo, pp. 170-180, 13th ACM/IEEE International Conference on Cyber-Physical Systems, 4/05/22. https://doi.org/10.1109/ICCPS54341.2022.00022
Kwiatkowska, M, Norman, G, Parker, D, Santos, G & Yan, R 2022, Probabilistic model checking for strategic equilibria-based decision making: advances and challenges. in S Szeider, R Ganian & A Silva (eds), 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). vol. 241, 4, Leibniz International Proceedings in Informatics, Schloss Dagstuhl, Dagstuhl, Germany, 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Vienna, Austria, 22/08/22. https://doi.org/10.4230/LIPIcs.MFCS.2022.4
Badings, TS, Abate, A, Jansen, N, Parker, D, Poonawala, HA & Stoelinga, M 2022, Sampling-based robust control of autonomous systems with non-Gaussian noise. in AAAI 2022 Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence. vol. 36 No. 9, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, Palo Alto, California, pp. 9669-9678, 36th AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, 22/02/22. https://doi.org/10.1609/aaai.v36i9.21201
Bacci, E & Parker, D 2022, Verified probabilistic policies for deep reinforcement learning. in JV Deshmukh, K Havelund & I Perez (eds), NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. vol. 13260, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13260 LNCS, Springer, Cham, pp. 193-212, NASA Formal Methods 2022, Pasadena, California, United States, 24/05/22. https://doi.org/10.1007/978-3-031-06773-0_10
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
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). Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 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
View all publications in research portal