Login / Signup
Daniel Ajedamola Ajeleye
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Model Checker
Partially Observable Markov Decision Processes
Action Sets
Tree Automata
Top Venues
MED
</>
Publications
</>
Daniel Ajedamola Ajeleye
,
Tommaso Masciulli
,
Giordano Pola
Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications.
MED
(2022)