Login / Signup
Jonis Kiesbye
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Planning Domains
Model Checking
Temporally Extended Goals
Timed Automata
Top Venues
ICRA
</>
Publications
</>
Jonis Kiesbye
,
Kush Grover
,
Pranav Ashok
,
Jan Kretínský
Planning via model checking with decision-tree controllers.
ICRA
(2022)