David Parker
University of Birmingham
H-index: 59
Europe-United Kingdom
Top articles of David Parker
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tools at the frontiers of quantitative verification: QComp 2023 competition report | R Andriushchenko A Bork CE Budde M Češka K Grover | 2024 | |
Robust control for dynamical systems with non-gaussian noise via formal abstractions | Journal of Artificial Intelligence Research | Thom Badings Licio Romao Alessandro Abate David Parker Hasan A. Poonawala | 2023/1/21 |
The Hamiltonian Cycle and Travelling Salesperson problems with traversal-dependent edge deletion | Journal of Computational Science | Sarah Carmesin David Woller David Parker Miroslav Kulich Masoumeh Mansouri | 2023/12/1 |
Safe POMDP Online Planning via Shielding | arXiv preprint arXiv:2309.10216 | Shili Sheng David Parker Lu Feng | 2023/9/19 |
Multi-agent verification and control with probabilistic model checking | David Parker | 2023/9/15 | |
Distributional Probabilistic Model Checking | arXiv preprint arXiv:2309.05584 | Ingy Elsayed-Aly David Parker Lu Feng | 2023/9/11 |
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games | arXiv preprint arXiv:2202.06255 | Rui Yan Gabriel Santos Gethin Norman David Parker Marta Kwiatkowska | 2022/2/13 |
A value-based dynamic learning approach for vehicle dispatch in ride-sharing | Cheng Li David Parker Qi Hao | 2022/10/23 | |
Verified probabilistic policies for deep reinforcement learning | Edoardo Bacci David Parker | 2022/5/20 | |
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020 | Susanne Graf Michael Schwartzbach | 2000/3/15 | |
Symbolic verification and strategy synthesis for turn-based stochastic games | Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos | 2022/12/29 | |
Multi-objective controller synthesis with uncertain human preferences | Shenghui Chen Kayla Boggess David Parker Lu Feng | 2022/5/4 | |
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings | Sergiy Bogomolov | 2022 | |
Robust anytime learning of markov decision processes | Advances in Neural Information Processing Systems | Marnix Suilen Thiago D Simão David Parker Nils Jansen | 2022/12/6 |
Probabilistic model checking and autonomy | Marta Kwiatkowska Gethin Norman David Parker | 2022/5/3 | |
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games | Rui Yan Gabriel Santos Xiaoming Duan David Parker Marta Kwiatkowska | 2022/8/17 | |
Planning for automated vehicles with human trust | ACM Transactions on Cyber-Physical Systems | Shili Sheng Erfan Pakdamanian Kyungtae Han Ziran Wang John Lenneman | 2022/11/5 |
Correlated equilibria and fairness in concurrent stochastic games | Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos | 2022/3/30 | |
Probabilistic model checking for strategic equilibria-based decision making: Advances and challenges | Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos Rui Yan | 2022/6/30 | |
Partially-Observable Security Games for Automating Attack-Defense Analysis | arXiv preprint arXiv:2211.01508 | Narges Khakpour David Parker | 2022/11/2 |