Mateo Perez
4 papers · 2022–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (2) π Renaissance Researcher (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (16) π§ Keyword Pioneer
π
Cross-Pollinator
(6)
Conferences
AAAI (3)
NIPS (1)
Top co-authors
Keywords
markov decision process
(2)
reinforcement learning
(2)
pac learning
(1)
formal methods
(1)
formal verification
(1)
dynamic programming
(1)
optimal policy
(1)
discounted reward
(1)
recursive neural network
(1)
markov game
(1)
temporal logic
(1)
lexicographic optimization
(1)
recursive learning
(1)
linear temporal logic
(1)
controller synthesis
(1)
regular language
(1)
multi-agent system
(1)
omega-regular decision process
(1)
omega-regular lookahead
(1)
finite-state markov decision process
(1)