Williams, Brian C.

38 publications

CoRL 2025 Diffusion-Guided Multi-Arm Motion Planning Viraj Parimi, Brian C. Williams

NeurIPSW 2024 Safe Multi-Agent Navigation Guided by Goal-Conditioned Safe Reinforcement Learning Meng Feng, Viraj Parimi, Brian C. Williams

JAIR 2022 Chance-Constrained Static Schedules for Temporally Probabilistic Plans Cheng Fang, Andrew J. Wang, Brian C. Williams

CVPR 2022 M2I: From Factored Marginal Trajectory Prediction to Interactive Prediction Qiao Sun, Xin Huang, Junru Gu, Brian C. Williams, Hang Zhao

NeurIPSW 2021 Automatic Curricula via Expert Demonstrations Siyu Dai, Andreas Hofmann, Brian C. Williams

AAAI 2021 Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian C. Williams

IJCAI 2020 Best-First Enumeration Based on Bounding Conflicts, and Its Application to Large-Scale Hybrid Estimation (Extended Abstract) Eric Timmons, Brian C. Williams

IJCAI 2019 Approximability of Constant-Horizon Constrained POMDP Majid Khonji, Ashkan Jasour, Brian C. Williams

IJCAI 2019 Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty (Extended Abstract) Nikhil Bhargava, Brian C. Williams

IJCAI 2019 Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds Nikhil Bhargava, Brian C. Williams

JAIR 2018 ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization Enrique Fernández-González, Brian C. Williams, Erez Karpas

IJCAI 2017 Faster Conflict Generation for Dynamic Controllability Nikhil Bhargava, Tiago Stegun Vaquero, Brian C. Williams

IJCAI 2017 I-Dual: Solving Constrained SSPs via Heuristic Search in the Dual Space Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian C. Williams

AAAI 2015 Chance-Constrained Scheduling via Conflict-Directed Risk Allocation Andrew J. Wang, Brian C. Williams

JAIR 2013 Probabilistic Planning for Continuous Dynamic Systems Under Bounded Risk Masahiro Ono, Brian C. Williams, Lars Blackmore

AAAI 2008 An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure Masahiro Ono, Brian C. Williams

AAAI 2006 DNNF-Based Belief State Estimation Paul Elliott, Brian C. Williams

AAAI 2006 Robust Execution on Contingent, Temporally Flexible Plans Stephen A. Block, Andreas F. Wehowsky, Brian C. Williams

IJCAI 2005 Bounded Search and Symbolic Inference for Constraint Optimization Martin Sachenbacher, Brian C. Williams

AAAI 2005 Combining Stochastic and Greedy Search in Hybrid Estimation Lars Blackmore, Stanislav Funiak, Brian C. Williams

AAAI 2005 Coordinating Agile Systems Through the Model-Based Execution of Temporal Plans Thomas Léauté, Brian C. Williams

AAAI 2005 Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata Oliver B. Martin, Brian C. Williams, Michel D. Ingham

AAAI 2005 Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher

IJCAI 2001 Executing Reactive, Model-Based Programs Through Graph-Based Temporal Planning Phil Kim, Brian C. Williams, Mark Abramson

IJCAI 2001 Mode Estimation of Model-Based Programs: Monitoring Systems with Complex Behavior Brian C. Williams, Seung Chung, Vineet Gupta

AAAI 1998 Decompositional, Model-Based Learning and Its Analogy to Diagnosis Brian C. Williams, William Millar

IJCAI 1997 A Reactive Planner for a Model-Based Executive Brian C. Williams, P. Pandurang Nayak

AAAI 1997 Fast Context Switching in Real-Time Propositional Reasoning P. Pandurang Nayak, Brian C. Williams

AAAI 1996 A Model-Based Approach to Reactive Self-Configuring Systems Brian C. Williams, P. Pandurang Nayak

AAAI 1994 Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning Brian C. Williams, Jonathan Cagan

AAAI 1994 Decompositional Modeling Through Caricatural Reasoning Brian C. Williams, Olivier Raiman

AAAI 1990 Interaction-Based Invention: Designing Novel Devices from First Principles Brian C. Williams

IJCAI 1989 Diagnosis with Behavioral Modes Johan de Kleer, Brian C. Williams

AAAI 1988 MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning Brian C. Williams

AAAI 1986 Back to Backtracking: Controlling the ATMS Johan de Kleer, Brian C. Williams

AAAI 1986 Doing Time: Putting Qualitative Reasoning on Firmer Ground Brian C. Williams

AAAI 1986 Reasoning About Multiple Faults Johan de Kleer, Brian C. Williams

AAAI 1984 The Use of Continuity in a Qualitative Physics Brian C. Williams