Intelligent Testing with Interpretable and High-Capacity Agents by Embedding Logical Structure in Neural Architectures
Dynamic Choice Models of Human Decision-Making
Emergent Behaviors in Multi-Agent Human-Robot Teams
A Model Guardian to Enforce and Improve Intelligent Vehicle Safety
Data-efficient Algorithms for Machine Learning with Provable Guarantee