Guillermo A. Pérez
2 papers
· 2022–2025
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (2)
Top co-authors
Keywords
reinforcement learning
(1)
sequential decision making
(1)
formal methods
(1)
formal verification
(1)
markov decision process
(1)
belief state
(1)
partially observable markov decision process
(1)
variational autoencoder
(1)
model checking
(1)
policy distillation
(1)
omega-regular objective
(1)
belief support
(1)
decidable class
(1)