Publications

Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation. Chenxi Yang, Greg Anderson, Swarat Chaudhuri. At SaTML ‘24.

Guiding Safe Exploration with Weakest Preconditions. Greg Anderson, Swarat Chaudhuri, Isil Dillig. At ICLR ‘23. Tool available here.

Neurosymbolic Reinforcement Learning with Formally Verified Exploration. Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri. At NeurIPS ‘20. Tool available here.

Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. Greg Anderson, Shankara Pailoor, Isil Dillig, and Swarat Chaudhuri. At PLDI'19 (Distinguished Paper). Tool available here.

Learning Abstractions for Program Synthesis. Xinyu Wang, Greg Anderson, Isil Dillig, Ken McMillan. At CAV'18.

Formal Analysis of the Compact Position Reporting Algorithm. Aaron Dutle, Mariano Moscato, Laura Titolo, César Muñoz, Gregory Anderson, and François Bobot. Formal Aspects of Computing. 2020.