Follow
Luke Rickard
Luke Rickard
DPhil candidate in AIMS CDT, Oxford University
Verified email at robots.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Formal controller synthesis for markov jump linear systems with uncertain dynamics
L Rickard, T Badings, L Romao, A Abate
International Conference on Quantitative Evaluation of Systems, 10-29, 2023
22023
Learning robust policies for uncertain parametric markov decision processes
L Rickard, A Abate, K Margellos
arXiv preprint arXiv:2312.06344, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–2