Christopher Watson

14 papers Misc 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Transformer Cookbook.
Trans. Mach. Learn. Res.
Andy Yang, Christopher Watson, Anton Xue, Satwik Bhattamishra, Jose Llarena, William Merrill, Emile Dos Santos Ferreira, Anej Svete, David Chiang
2026 J jnl
TiPToP: A Modular Open-Vocabulary Planning System for Robotic Manipulation.
CoRR
William Shen, Nishanth Kumar, Sahit Chintalapudi, Jie Wang, Christopher Watson, Edward Hu, Jing Cao, Dinesh Jayaraman, Leslie Pack Kaelbling, Tomás Lozano-Pérez
2025 J jnl
Illustrated Landmark Graphs for Long-horizon Policy Learning.
Trans. Mach. Learn. Res.
Christopher Watson, Arjun Krishna, Rajeev Alur, Dinesh Jayaraman
2025 — conf
Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception.
SAIV
Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
2025 J jnl
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception.
CoRR
Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
2025 J jnl
The Transformer Cookbook.
CoRR
Andy Yang, Christopher Watson, Anton Xue, Satwik Bhattamishra, Jose Llarena, William Merrill, Emile Dos Santos Ferreira, Anej Svete, David Chiang
2024 — conf
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey.
Principles of Verification (3)
Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu
2024 J jnl
Stream Types.
Proc. ACM Program. Lang.
Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2023 J jnl
A Robust Theory of Series Parallel Graphs.
Proc. ACM Program. Lang.
Rajeev Alur, Caleb Stanford, Christopher Watson
2023 J jnl
Ongoing Development of the Bass Strait GNSS/INS Buoy System for Altimetry Validation in Preparation for SWOT.
Remote. Sens.
Boye Zhou, Christopher Watson, Benoit Legrésy, Matt A. King, Jack Beardsley
2023 J jnl
Stream Types.
CoRR
Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2021 J jnl
Global Positioning System (GPS) Scintillation Associated with a Polar Cap Patch.
Remote. Sens.
Jayachandran P. Thayyil, Anthony M. McCaffrey, Yong Wang, David R. Themens, Christopher Watson, Benjamin Reid, Qinghe Zhang, Zanyang Xing
2020 J jnl
GNSS/INS-Equipped Buoys for Altimetry Validation: Lessons Learnt and New Directions from the Bass Strait Validation Facility.
Remote. Sens.
Boye Zhou, Christopher Watson, Benoit Legrésy, Matt A. King, Jack Beardsley, Alistair Deane
2001 Misc conf
A simulation of the mission crew workload in a multi mission aircraft.
WSC
Phillip Martin, Christopher Watson, Andy Skinner