Projects
/home
/publications
/projects
/software
/posts
/personal
/contact
Reinforcement Learning with Formal Methods
Anytime and Scalable Planning Function Approximation meets Important Sampling
Darpa Robotics Challenge
Serial Interactions in Imperfect Information Games Applied to Complex Military Decision Making (SI3-CMD)