| 2024 | ICRA | Risk-Bounded Online Team Interventions via Theory of Mind. | Yuening Zhang, Paul Robertson, Tianmin Shu, Sungkweon Hong, Brian C. Williams |
| 2023 | IROS | Real-Time Tube-Based Non-Gaussian Risk Bounded Motion Planning for Stochastic Nonlinear Systems in Uncertain Environments via Motion Primitives. | Weiqiao Han, Ashkan Jasour, Brian C. Williams |
| 2023 | IROS | P4P: Conflict-Aware Motion Prediction for Planning in Autonomous Driving. | Qiao Sun, Xin Huang, Brian C. Williams, Hang Zhao |
| 2022 | CVPR | M2I: From Factored Marginal Trajectory Prediction to Interactive Prediction. | Qiao Sun, Xin Huang, Junru Gu, Brian C. Williams, Hang Zhao |
| 2022 | ICRA | Non-Gaussian Risk Bounded Trajectory Optimization for Stochastic Nonlinear Systems in Uncertain Environments. | Weiqiao Han, Ashkan Jasour, Brian C. Williams |
| 2022 | ICRA | HYPER: Learned Hybrid Trajectory Prediction via Factored Inference and Adaptive Sampling. | Xin Huang, Guy Rosman, Igor Gilitschenski, Ashkan Jasour, Stephen G. McGill, John J. Leonard, Brian C. Williams |
| 2022 | IROS | TIP: Task-Informed Motion Prediction for Intelligent Vehicles. | Xin Huang, Guy Rosman, Ashkan Jasour, Stephen G. McGill, John J. Leonard, Brian C. Williams |
| 2022 | IROS | InterSim: Interactive Traffic Simulation via Explicit Relation Modeling. | Qiao Sun, Xin Huang, Brian C. Williams, Hang Zhao |
| 2021 | AAAI | Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. | Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian C. Williams |
| 2021 | ICRA | An Anytime Algorithm for Chance Constrained Stochastic Shortest Path Problems and Its Application to Aircraft Routing. | Sungkweon Hong, Sang Uk Lee, Xin Huang, Majid Khonji, Rashid Alyassi, Brian C. Williams |
| 2021 | IROS | Risk Conditioned Neural Motion Planning. | Xin Huang, Meng Feng, Ashkan Jasour, Guy Rosman, Brian C. Williams |
| 2021 | SoCS | Generalized Conflict-Directed Search for Optimal Ordering Problems. | Jingkai Chen, Yuening Zhang, Cheng Fang, Brian C. Williams |
| 2020 | IJCAI | Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract). | Eric Timmons, Brian C. Williams |
| 2019 | IJCAI | Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds. | Nikhil Bhargava, Brian C. Williams |
| 2019 | IJCAI | Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty (Extended Abstract). | Nikhil Bhargava, Brian C. Williams |
| 2019 | IJCAI | Approximability of Constant-horizon Constrained POMDP. | Majid Khonji, Ashkan Jasour, Brian C. Williams |
| 2019 | ICRA | Uncertainty-Aware Driver Trajectory Prediction at Urban Intersections. | Xin Huang, Stephen G. McGill, Brian C. Williams, Luke Fletcher, Guy Rosman |
| 2019 | ICRA | Improving Incremental Planning Performance through Overlapping Replanning and Execution. | Matthew Orton, Siyu Dai, Shawn Schaffert, Andreas G. Hofmann, Brian C. Williams |
| 2019 | IROS | A Model-Based Human Activity Recognition for Human-Robot Collaboration. | Sang Uk Lee, Andreas G. Hofmann, Brian C. Williams |
| 2018 | AAAI | RADMAX: Risk and Deadline Aware Planning for Maximum Utility. | Jingkai Chen, Cheng Fang, Christian J. Muise, Howard E. Shrobe, Brian C. Williams, Peng Yu |
| 2018 | IROS | Improving Trajectory Optimization Using a Roadmap Framework. | Siyu Dai, Matthew Orton, Shawn Schaffert, Andreas G. Hofmann, Brian C. Williams |
| 2017 | GECCO | An embedded system architecture based on genetic algorithms for mission and safety planning with UAV. | Jesimar da Silva Arantes, Mrcio da Silva Arantes, Claudio Fabiano Motta Toledo, Onofre Trindade Jnior, Brian C. Williams |
| 2017 | IJCAI | Faster Conflict Generation for Dynamic Controllability. | Nikhil Bhargava, Tiago Stegun Vaquero, Brian C. Williams |
| 2017 | IJCAI | I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space. | Felipe W. Trevizan, Sylvie Thibaux, Pedro Henrique Santana, Brian C. Williams |
| 2015 | AAAI | Chance-Constrained Scheduling via Conflict-Directed Risk Allocation. | Andrew J. Wang, Brian C. Williams |
| 2012 | SENSYS | Risk-sensitive plan execution for connected sustainable home. | Masahiro Ono, Wesley Graybill, Brian C. Williams |
| 2010 | RV | Runtime Verification of Stochastic, Faulty Systems. | Cristina M. Wilcox, Brian C. Williams |
| 2008 | AAAI | An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure. | Masahiro Ono, Brian C. Williams |
| 2007 | ACC | Optimal, Robust Predictive Control of Nonlinear Systems under Probabilistic Uncertainty using Particles. | Lars Blackmore, Brian C. Williams |
| 2006 | AAAI | Robust Execution on Contingent, Temporally Flexible Plans. | Stephen A. Block, Andreas F. Wehowsky, Brian C. Williams |
| 2006 | AAAI | DNNF-based Belief State Estimation. | Paul Elliott, Brian C. Williams |
| 2006 | CPAIOR | Conflict-Directed A* Search for Soft Constraints. | Martin Sachenbacher, Brian C. Williams |
| 2005 | AAAI | Combining Stochastic and Greedy Search in Hybrid Estimation. | Lars Blackmore, Stanislav Funiak, Brian C. Williams |
| 2005 | AAAI | Coordinating Agile Systems through the Model-based Execution of Temporal Plans. | Thomas Laut, Brian C. Williams |
| 2005 | AAAI | Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata. | Oliver B. Martin, Brian C. Williams, Michel D. Ingham |
| 2005 | AAAI | Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior. | Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher |
| 2005 | IJCAI | Bounded Search and Symbolic Inference for Constraint Optimization. | Martin Sachenbacher, Brian C. Williams |
| 2004 | CP | On-Demand Bound Computation for Best-First Constraint Optimization. | Martin Sachenbacher, Brian C. Williams |
| 2004 | ECAI | Diagnosis as Semiring-Based Constraint Optimization. | Martin Sachenbacher, Brian C. Williams |
| 2002 | CP | Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State. | Brian C. Williams, Michel D. Ingham |
| 2001 | IJCAI | Executing Reactive, Model-based Programs through Graph-based Temporal Planning. | Phil Kim, Brian C. Williams, Mark Abramson |
| 2001 | IJCAI | Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. | Brian C. Williams, Seung Chung, Vineet Gupta |
| 1998 | AAAI | Decompositional, Model-based Learning and its Analogy to Diagnosis. | Brian C. Williams, William Millar |
| 1997 | AAAI | Fast Context Switching in Real-Time Propositional Reasoning. | P. Pandurang Nayak, Brian C. Williams |
| 1997 | IJCAI | A Reactive Planner for a Model-based Executive. | Brian C. Williams, P. Pandurang Nayak |
| 1996 | AAAI | A Model-Based Approach to Reactive Self-Configuring Systems. | Brian C. Williams, P. Pandurang Nayak |
| 1994 | AAAI | Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning. | Brian C. Williams, Jonathan Cagan |
| 1994 | AAAI | Decompositional Modeling through Caricatural Reasoning. | Brian C. Williams, Olivier Raiman |
| 1990 | AAAI | Interaction-Based Invention: Designing Novel Devices from First Principles. | Brian C. Williams |
| 1989 | IJCAI | Diagnosis with Behavioral Modes. | Johan de Kleer, Brian C. Williams |
| 1988 | AAAI | MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning. | Brian C. Williams |
| 1986 | AAAI | Reasoning about Multiple Faults. | Johan de Kleer, Brian C. Williams |
| 1986 | AAAI | Back to Backtracking: Controlling the ATMS. | Johan de Kleer, Brian C. Williams |
| 1986 | AAAI | Doing Time: Putting Qualitative Reasoning on Firmer Ground. | Brian C. Williams |
| 1984 | AAAI | The Use of Continuity in a Qualitative Physics. | Brian C. Williams |