Published in In submission, 2025
Recommended citation: Andy Yang, Christopher Watson, Anton Xue, Satwik Bhattamishra, Jose Llarena, William Merrill, Emile Dos Santos Ferreira, Anej Svete, and David Chiang. "The Transformer Cookbook" In preparation, 2025.
Download Paper
Published in In preparation, 2025
Recommended citation: Christopher Watson, Arjun Krishna, Dinesh Jayaraman, Rajeev Alur. "Let it Cook: Learning to Wait in Sequential Decision Making." In preparation, 2025.
Published in Transactions on Machine Learning Research (TMLR) 2025, 2025
Recommended citation: Christopher Watson, Arjun Krishna, Rajeev Alur, Dinesh Jayaraman. "Illustrated Landmark Graphs for Long-horizon Policy Learning." TMLR, 2025.
Download Paper
Published in Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of his 60th Birthday, 2024, 2024
Recommended citation: Sayan Mitra, Corina Păsăreanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu. "Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey." In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of his 60th Birthday, 2024.
Download Paper
Published in International Symposium on AI Verification (SAIV) 2025, 2025
Compositional verification workflow that combines scenario specifications with perception-driven components.
Recommended citation: Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina Păsăreanu. "Scenario-based Compositional Verification of Autonomous Systems with Neural Perception." Symposium on AI Verification (SAIV), 2025.
Download Paper
Published in Principles of Programming Languages (POPL) 2023, 2023
Recommended citation: Rajeev Alur, Caleb Stanford, Christopher Watson. "A Robust Theory of Series-Parallel Graphs." POPL, 2023.
Download Paper