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)