Published in Reinforcement Learning Conference (RLC). 2026, 2026
Recommended citation: Christopher Watson, Arjun Krishna, Dinesh Jayaraman, Rajeev Alur. "Let it Cook: Learning to Wait in Sequential Decision Making." Reinforcement Learning Conference (RLC), 2026.
Download Paper
Published in ArXiv preprint. 2026, 2026
Recommended citation: William Shen, Nishanth Kumar, Sahit Chintalapudi, Jie Wang, Christopher Watson, Edward Hu, Jing Cao, Dinesh Jayaraman, Leslie Pack Kaelbling, Tomás Lozano-Pérez. "TiPToP: A Modular Open-Vocabulary Planning System for Robotic Manipulation." ArXiv preprint, 2026.
Download Paper
Published in Transactions on Machine Learning Research (TMLR). 2026, 2026
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" Transactions on Machine Learning Research (TMLR), 2026.
Download Paper
Published in ArXiv preprint. 2025, 2025
Recommended citation: Ethan Decker, Christopher Watson, Junyu Zhou, Yuhao Liu, Chenxu Liu, Ang Li, Gushu Li, Samuel Stein. "F2: Offline Reinforcement Learning for Hamiltonian Simulation via Free-Fermionic Subroutine Compilation." ArXiv preprint, 2025.
Download Paper
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