Mateo Perez
4 papers
· 2022–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)
Papers
Omega-Regular Decision Processes
AAAI 2024
Assume-Guarantee Reinforcement Learning
AAAI 2024
Recursive Reinforcement Learning
NIPS 2022