Login / Signup
Luke Rickard
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Controller Synthesis
Markov Decision Process
Coefficient Matrix
State Space
Top Venues
CoRR
L4DC
QEST
</>
Publications
</>
Luke Rickard
,
Alessandro Abate
,
Kostas Margellos
Learning robust policies for uncertain parametric Markov decision processes.
L4DC
(2024)
Luke Rickard
,
Alessandro Abate
,
Kostas Margellos
Learning Robust Policies for Uncertain Parametric Markov Decision Processes.
CoRR
(2023)
Luke Rickard
,
Thom S. Badings
,
Licio Romao
,
Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
QEST
(2023)
Luke Rickard
,
Thom S. Badings
,
Licio Romao
,
Nils Jansen
,
Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
CoRR
(2022)