Login / Signup
David Parker
ORCID
Publication Activity (10 Years)
Years Active: 2000-2024
Publications (10 Years): 82
Top Topics
Markov Decision Process
Model Checking
Timed Automata
Stochastic Games
Top Venues
CoRR
IROS
QEST
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>