Brian C. Williams

Computer Science and Artificial Intelligence Laboratory , Massachusetts Institute of Technology

13 papers in the IJCAI proceedings

IJCAI 2020

Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract)

with Eric Timmons

doi:10.24963/ijcai.2020/721

Details PDF

IJCAI 2019

Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty (Extended Abstract)

with Nikhil Bhargava

doi:10.24963/ijcai.2019/886

Details PDF

Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds

with Nikhil Bhargava

doi:10.24963/ijcai.2019/765

Details PDF

IJCAI 2016

Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives

with Peng Yu, Jiaying Shen, Peter Z. Yeh

Details PDF

IJCAI 2015

Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk

with Pedro Henrique Santana

Details PDF

Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes

with Enrique Fernández-González, Erez Karpas

Details PDF

Reactive Integrated Motion Planning and Execution

with Andreas G. Hofmann, Enrique Fernández-González, Justin Helbert, Scott D. Smith

Details PDF

IJCAI 2013

Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution

with Peng Yu

Details PDF

IJCAI 2005

Bounded Search and Symbolic Inference for Constraint Optimization

with Martin Sachenbacher

Details PDF

IJCAI 2001

Executing Reactive, Model-based Programs through Graph-based Temporal Planning

with Phil Kim, Mark Abramson

Details PDF

Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior

with Seung Chung, Vineet Gupta

Details PDF

IJCAI 1997

A Reactive Planner for a Model-based Executive

with P. Pandurang Nayak

Details PDF

IJCAI 1989

Diagnosis with Behavioral Modes

with Johan de Kleer

Details PDF