Gabriel Santos
0000-0002-6570-9737
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(6)
Logic, Reasoning, and Knowledge
(6)
Reinforcement Learning in Robotics
(3)
Game Theory and Applications
(3)
Logic, programming, and type systems
(2)
Affiliations
University of Oxford