Brian C. Williams

165 papers A* 40A 14B 3C 3Journal 73Unranked 31
YearRankTypeTitle / Venue / Authors
2026 J jnl
Large Neighborhood Search for Multi-Agent Task Assignment and Path Finding with Precedence Constraints.
CoRR
Viraj Parimi, Brian C. Williams
2025 J jnl
Diffusion-Guided Multi-Arm Motion Planning.
CoRR
Viraj Parimi, Brian C. Williams
2025 J jnl
Risk-Bounded Multi-Agent Visual Navigation via Dynamic Budget Allocation.
CoRR
Viraj Parimi, Brian C. Williams
2025 J jnl
Safe Multi-Agent Navigation guided by Goal-Conditioned Safe Reinforcement Learning.
CoRR
Meng Feng, Viraj Parimi, Brian C. Williams
2024 J jnl
LaPlaSS: Latent Space Planning for Stochastic Systems.
CoRR
Marlyse Reeves, Brian C. Williams
2024 A* conf
Risk-Bounded Online Team Interventions via Theory of Mind.
ICRA
Yuening Zhang, Paul Robertson, Tianmin Shu, Sungkweon Hong, Brian C. Williams
2023 J jnl
A conflict-directed approach to chance-constrained mixed logical linear programming.
Artif. Intell.
Cheng Fang, Brian C. Williams
2023 A* conf
Adaptation and Communication in Human-Robot Teaming to Handle Discrepancies in Agents' Beliefs about Plans.
ICAPS
Yuening Zhang, Brian C. Williams
2023 J jnl
Adaptation and Communication in Human-Robot Teaming to Handle Discrepancies in Agents' Beliefs about Plans.
CoRR
Yuening Zhang, Brian C. Williams
2023 J jnl
An anytime algorithm for constrained stochastic shortest path problems with deterministic policies.
Artif. Intell.
Sungkweon Hong, Brian C. Williams
2023 J jnl
An empowerment-based solution to robotic manipulation tasks with sparse rewards.
Auton. Robots
Siyu Dai, Wei Xu, Andreas G. Hofmann, Brian C. Williams
2023 J jnl
Chance-Constrained Trajectory Optimization for High-DOF Robots in Uncertain Environments.
CoRR
Charles Dawson, Ashkan Jasour, Andreas G. Hofmann, Brian C. Williams
2023 J jnl
Convex Risk Bounded Continuous-Time Trajectory Planning and Tube Design in Uncertain Nonconvex Environments.
CoRR
Ashkan Jasour, Weiqiao Han, Brian C. Williams
2023 J jnl
Convex risk-bounded continuous-time trajectory planning and tube design in uncertain nonconvex environments.
Int. J. Robotics Res.
Ashkan Jasour, Weiqiao Han, Brian C. Williams
2023 J jnl
Non-Gaussian Uncertainty Minimization Based Control of Stochastic Nonlinear Robotic Systems.
CoRR
Weiqiao Han, Ashkan Jasour, Brian C. Williams
2023 A conf
P4P: Conflict-Aware Motion Prediction for Planning in Autonomous Driving.
IROS
Qiao Sun, Xin Huang, Brian C. Williams, Hang Zhao
2023 A conf
Real-Time Tube-Based Non-Gaussian Risk Bounded Motion Planning for Stochastic Nonlinear Systems in Uncertain Environments via Motion Primitives.
IROS
Weiqiao Han, Ashkan Jasour, Brian C. Williams
2023 J jnl
Real-Time Tube-Based Non-Gaussian Risk Bounded Motion Planning for Stochastic Nonlinear Systems in Uncertain Environments via Motion Primitives.
CoRR
Weiqiao Han, Ashkan Jasour, Brian C. Williams
2022 J jnl
Chance-constrained Static Schedules for Temporally Probabilistic Plans.
J. Artif. Intell. Res.
Cheng Fang, Andrew J. Wang, Brian C. Williams
2022 J jnl
Cooperative Task and Motion Planning for Multi-Arm Assembly Systems.
CoRR
Jingkai Chen, Jiaoyang Li, Yijiang Huang, Caelan Reed Garrett, Dawei Sun, Chuchu Fan, Andreas G. Hofmann, Caitlin Mueller, Sven Koenig, Brian C. Williams
2022 J jnl
Fast nonlinear risk assessment for autonomous vehicles using learned conditional probabilistic models of agent futures.
Auton. Robots
Ashkan Jasour, Xin Huang, Allen Wang, Brian C. Williams
2022 A* conf
HYPER: Learned Hybrid Trajectory Prediction via Factored Inference and Adaptive Sampling.
ICRA
Xin Huang, Guy Rosman, Igor Gilitschenski, Ashkan Jasour, Stephen G. McGill, John J. Leonard, Brian C. Williams
2022 J jnl
Hierarchical Constrained Stochastic Shortest Path Planning via Cost Budget Allocation.
CoRR
Sungkweon Hong, Brian C. Williams
2022 A conf
InterSim: Interactive Traffic Simulation via Explicit Relation Modeling.
IROS
Qiao Sun, Xin Huang, Brian C. Williams, Hang Zhao
2022 J jnl
InterSim: Interactive Traffic Simulation via Explicit Relation Modeling.
CoRR
Qiao Sun, Xin Huang, Brian C. Williams, Hang Zhao
2022 A* conf
M2I: From Factored Marginal Trajectory Prediction to Interactive Prediction.
CVPR
Qiao Sun, Xin Huang, Junru Gu, Brian C. Williams, Hang Zhao
2022 J jnl
M2I: From Factored Marginal Trajectory Prediction to Interactive Prediction.
CoRR
Qiao Sun, Xin Huang, Junru Gu, Brian C. Williams, Hang Zhao
2022 J jnl
Multi-Agent Chance-Constrained Stochastic Shortest Path with Application to Risk-Aware Intelligent Intersection.
CoRR
Majid Khonji, Rashid Alyassi, Wolfgang Merkt, Areg Karapetyan, Xin Huang, Sungkweon Hong, Jorge Dias, Brian C. Williams
2022 A conf
Multi-Agent Path Finding for Precedence-Constrained Goal Sequences.
AAMAS
Han Zhang, Jingkai Chen, Jiaoyang Li, Brian C. Williams, Sven Koenig
2022 A* conf
Non-Gaussian Risk Bounded Trajectory Optimization for Stochastic Nonlinear Systems in Uncertain Environments.
ICRA
Weiqiao Han, Ashkan Jasour, Brian C. Williams
2022 J jnl
Non-Gaussian Risk Bounded Trajectory Optimization for Stochastic Nonlinear Systems in Uncertain Environments.
CoRR
Weiqiao Han, Ashkan Jasour, Brian C. Williams
2022 J jnl
P4P: Conflict-Aware Motion Prediction for Planning in Autonomous Driving.
CoRR
Qiao Sun, Xin Huang, Brian C. Williams, Hang Zhao
2022 A conf
TIP: Task-Informed Motion Prediction for Intelligent Vehicles.
IROS
Xin Huang, Guy Rosman, Ashkan Jasour, Stephen G. McGill, John J. Leonard, Brian C. Williams
2021 A* conf
An Anytime Algorithm for Chance Constrained Stochastic Shortest Path Problems and Its Application to Aircraft Routing.
ICRA
Sungkweon Hong, Sang Uk Lee, Xin Huang, Majid Khonji, Rashid Alyassi, Brian C. Williams
2021 — conf
An Empowerment-based Solution to Robotic Manipulation Tasks with Sparse Rewards.
Robotics: Science and Systems
Siyu Dai, Wei Xu, Andreas G. Hofmann, Brian C. Williams
2021 J jnl
CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy.
IEEE Robotics Autom. Lett.
Xin Huang, Stephen G. McGill, Jonathan A. DeCastro, Luke Fletcher, John J. Leonard, Brian C. Williams, Guy Rosman
2021 — conf
Convex Risk Bounded Continuous-Time Trajectory Planning in Uncertain Nonconvex Environments.
Robotics: Science and Systems
Ashkan Jasour, Weiqiao Han, Brian C. Williams
2021 J jnl
Fast nonlinear risk assessment for autonomous vehicles using learned conditional probabilistic models of agent futures.
CoRR
Ashkan Jasour, Xin Huang, Allen Wang, Brian C. Williams
2021 J jnl
Fast-Reactive Probabilistic Motion Planning for High-Dimensional Robots.
SN Comput. Sci.
Siyu Dai, Andreas G. Hofmann, Brian C. Williams
2021 B conf
Generalized Conflict-Directed Search for Optimal Ordering Problems.
SOCS
Jingkai Chen, Yuening Zhang, Cheng Fang, Brian C. Williams
2021 J jnl
Generalized Conflict-directed Search for Optimal Ordering Problems.
CoRR
Jingkai Chen, Yuening Zhang, Cheng Fang, Brian C. Williams
2021 J jnl
HYPER: Learned Hybrid Trajectory Prediction via Factored Inference and Adaptive Sampling.
CoRR
Xin Huang, Guy Rosman, Igor Gilitschenski, Ashkan Jasour, Stephen G. McGill, John J. Leonard, Brian C. Williams
2021 J jnl
Moment-Based Exact Uncertainty Propagation Through Nonlinear Stochastic Autonomous Systems.
CoRR
Ashkan Jasour, Allen Wang, Brian C. Williams
2021 — conf
Optimal mixed discrete-continuous planning for linear hybrid systems.
HSCC
Jingkai Chen, Brian C. Williams, Chuchu Fan
2021 A* conf
Privacy-Preserving Algorithm for Decoupling of Multi-Agent Plans with Uncertainty.
ICAPS
Yuening Zhang, Brian C. Williams
2021 — conf
Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification.
CDC
Ashkan Jasour, Weiqiao Han, Brian C. Williams
2021 A conf
Risk Conditioned Neural Motion Planning.
IROS
Xin Huang, Meng Feng, Ashkan Jasour, Guy Rosman, Brian C. Williams
2021 A* conf
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances.
AAAI
Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian C. Williams
2021 J jnl
TIP: Task-Informed Motion Prediction for Intelligent Systems.
CoRR
Xin Huang, Guy Rosman, Ashkan Jasour, Stephen G. McGill, John J. Leonard, Brian C. Williams
2020 A* conf
Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract).
IJCAI
Eric Timmons, Brian C. Williams
2020 J jnl
CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy.
CoRR
Xin Huang, Stephen G. McGill, Jonathan A. DeCastro, Brian C. Williams, Luke Fletcher, John J. Leonard, Guy Rosman
2020 J jnl
DiversityGAN: Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.
IEEE Robotics Autom. Lett.
Xin Huang, Stephen G. McGill, Jonathan A. DeCastro, Luke Fletcher, John J. Leonard, Brian C. Williams, Guy Rosman
2020 J jnl
Fast Certification of Collision Probability Bounds with Uncertain Convex Obstacles.
CoRR
Charles Dawson, Andreas G. Hofmann, Brian C. Williams
2020 J jnl
Fast Risk Assessment for Autonomous Vehicles Using Learned Models of Agent Futures.
CoRR
Allen Wang, Xin Huang, Ashkan Jasour, Brian C. Williams
2020 J jnl
Fast-reactive probabilistic motion planning for high-dimensional robots.
CoRR
Siyu Dai, Andreas G. Hofmann, Brian C. Williams
2020 J jnl
Helpfulness as a Key Metric of Human-Robot Collaboration.
CoRR
Richard G. Freedman, Steven J. Levine, Brian C. Williams, Shlomo Zilberstein
2020 J jnl
Moment State Dynamical Systems for Nonlinear Chance-Constrained Motion Planning.
CoRR
Allen Wang, Ashkan Jasour, Brian C. Williams
2020 J jnl
Non-Gaussian Chance-Constrained Trajectory Planning for Autonomous Vehicles Under Agent Uncertainty.
IEEE Robotics Autom. Lett.
Allen Wang, Ashkan Jasour, Brian C. Williams
2020 J jnl
Non-Gaussian Chance-Constrained Trajectory Planning for Autonomous Vehicles in the Presence of Uncertain Agents.
CoRR
Allen Wang, Ashkan Jasour, Brian C. Williams
2020 J jnl
Provably Safe Trajectory Optimization in the Presence of Uncertain Convex Obstacles.
CoRR
Charles Dawson, Ashkan Jasour, Andreas G. Hofmann, Brian C. Williams
2019 A conf
A Model-Based Human Activity Recognition for Human-Robot Collaboration.
IROS
Sang Uk Lee, Andreas G. Hofmann, Brian C. Williams
2019 A* conf
Approximability of Constant-horizon Constrained POMDP.
IJCAI
Majid Khonji, Ashkan Jasour, Brian C. Williams
2019 A* conf
Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty (Extended Abstract).
IJCAI
Nikhil Bhargava, Brian C. Williams
2019 J jnl
Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty.
CoRR
Nikhil Bhargava, Brian C. Williams
2019 J jnl
Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty.
Artif. Intell.
Nikhil Bhargava, Brian C. Williams
2019 J jnl
Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.
CoRR
Xin Huang, Stephen G. McGill, Jonathan A. DeCastro, Brian C. Williams, Luke Fletcher, John J. Leonard, Guy Rosman
2019 A* conf
Efficiently Exploring Ordering Problems through Conflict-Directed Search.
ICAPS
Jingkai Chen, Cheng Fang, David Wang, Andrew J. Wang, Brian C. Williams
2019 A* conf
Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds.
IJCAI
Nikhil Bhargava, Brian C. Williams
2019 A* conf
Improving Incremental Planning Performance through Overlapping Replanning and Execution.
ICRA
Matthew Orton, Siyu Dai, Shawn Schaffert, Andreas G. Hofmann, Brian C. Williams
2019 A conf
Multiagent Disjunctive Temporal Networks.
AAMAS
Nikhil Bhargava, Brian C. Williams
2019 A* conf
Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments.
ICAPS
Xin Huang, Sungkweon Hong, Andreas G. Hofmann, Brian C. Williams
2019 J jnl
Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments.
CoRR
Xin Huang, Sungkweon Hong, Andreas G. Hofmann, Brian C. Williams
2019 — conf
Risk Contours Map for Risk Bounded Motion Planning under Perception Uncertainties.
Robotics: Science and Systems
Ashkan M. Jasour, Brian C. Williams
2019 — conf
Sequential Chance Optimization For Flow-Tube Based Control Of Probabilistic Nonlinear Systems.
CDC
Ashkan M. Jasour, Brian C. Williams
2019 A* conf
Uncertainty-Aware Driver Trajectory Prediction at Urban Intersections.
ICRA
Xin Huang, Stephen G. McGill, Brian C. Williams, Luke Fletcher, Guy Rosman
2019 J jnl
Uncertainty-Aware Driver Trajectory Prediction at Urban Intersections.
CoRR
Xin Huang, Stephen G. McGill, Brian C. Williams, Luke Fletcher, Guy Rosman
2018 — conf
Hybrid Risk-Aware Conditional Planning with Applications in Autonomous Vehicles.
CDC
Xin Huang, Ashkan Jasour, Matthew Deyo, Andreas G. Hofmann, Brian C. Williams
2018 A conf
Improving Trajectory Optimization Using a Roadmap Framework.
IROS
Siyu Dai, Matthew Orton, Shawn Schaffert, Andreas G. Hofmann, Brian C. Williams
2018 J jnl
Improving Trajectory Optimization using a Roadmap Framework.
CoRR
Siyu Dai, Matthew Orton, Shawn Schaffert, Andreas G. Hofmann, Brian C. Williams
2018 J jnl
Moment-Sum-Of-Squares Approach For Fast Risk Estimation In Uncertain Environments.
CoRR
Ashkan Jasour, Andreas G. Hofmann, Brian C. Williams
2018 — conf
Moment-Sum-of-Squares Approach for Fast Risk Estimation in Uncertain Environments.
CDC
Ashkan M. Jasour, Andreas G. Hofmann, Brian C. Williams
2018 — conf
RADMAX: Risk and Deadline Aware Planning for Maximum Utility.
AAAI Workshops
Jingkai Chen, Cheng Fang, Christian J. Muise, Howard E. Shrobe, Brian C. Williams, Peng Yu
2018 J jnl
RADMPC: A Fast Decentralized Approach for Chance-Constrained Multi-Vehicle Path-Planning.
CoRR
Aaron Huang, Benjamin J. Ayton, Brian C. Williams
2018 J jnl
ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization.
J. Artif. Intell. Res.
Enrique Fernández-González, Brian C. Williams, Erez Karpas
2018 J jnl
Vulcan: A Monte Carlo Algorithm for Large Chance Constrained MDPs with Risk Bounding Functions.
CoRR
Benjamin J. Ayton, Brian C. Williams
2017 A conf
An embedded system architecture based on genetic algorithms for mission and safety planning with UAV.
GECCO
Jesimar da Silva Arantes, Márcio da Silva Arantes, Claudio Fabiano Motta Toledo, Onofre Trindade Júnior, Brian C. Williams
2017 A* conf
Faster Conflict Generation for Dynamic Controllability.
IJCAI
Nikhil Bhargava, Tiago Stegun Vaquero, Brian C. Williams
2017 A* conf
I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space.
IJCAI
Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian C. Williams
2017 J jnl
Planning and Robotics (Dagstuhl Seminar 17031).
Dagstuhl Reports
Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams, Andrea Orlandini
2017 J jnl
Temporally and spatially flexible plan execution for dynamic hybrid systems.
Artif. Intell.
Andreas G. Hofmann, Brian C. Williams
2015 A* conf
Chance-Constrained Scheduling via Conflict-Directed Risk Allocation.
AAAI
Andrew J. Wang, Brian C. Williams
2014 J jnl
Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk.
CoRR
Masahiro Ono, Brian C. Williams, Lars Blackmore
2013 A* conf
Paper Summary: Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk.
ICAPS
Masahiro Ono, Brian C. Williams, Lars Blackmore
2013 J jnl
Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk.
J. Artif. Intell. Res.
Masahiro Ono, Brian C. Williams, Lars Blackmore
2013 — conf
Risk-limiting, market-based power dispatch and pricing.
ECC
Masaki Yo, Masahiro Ono, Brian C. Williams, Shuichi Adachi
2012 — conf
Risk-sensitive plan execution for connected sustainable home.
BuildSys@SenSys
Masahiro Ono, Wesley Graybill, Brian C. Williams
2011 J jnl
Chance-Constrained Optimal Path Planning With Obstacles.
IEEE Trans. Robotics
Lars Blackmore, Masahiro Ono, Brian C. Williams
2011 J jnl
Reactive, model-based monitoring in RFID-enabled manufacturing.
Comput. Ind.
Yi Huang, Brian C. Williams, Li Zheng
2011 C conf
Regression-based LP solver for chance-constrained finite horizon optimal control with nonconvex constraints.
ACC
Ashis Gopal Banerjee, Masahiro Ono, Nicholas Roy, Brian C. Williams
2010 — conf
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010 — conf
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010 — conf
A Biologically Modeled Intrusion Detection System for Mobile Networks.
BWCCA
Brian C. Williams, Errin W. Fulp
2010 J jnl
A Probabilistic Particle-Control Approximation of Chance-Constrained Stochastic Predictive Control.
IEEE Trans. Robotics
Lars Blackmore, Masahiro Ono, Askar Bektassov, Brian C. Williams
2010 C conf
Chance constrained finite horizon optimal control with nonconvex constraints.
ACC
Masahiro Ono, Lars Blackmore, Brian C. Williams
2010 — conf
Decentralized chance-constrained finite-horizon optimal control for multi-agent systems.
CDC
Masahiro Ono, Brian C. Williams
2010 A conf
Market-based risk allocation for multi-agent systems.
AAMAS
Masahiro Ono, Brian C. Williams
2010 B conf
Runtime Verification of Stochastic, Faulty Systems.
RV
Cristina M. Wilcox, Brian C. Williams
2010 — ed.
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems
Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2009 — conf
Beyond local optimality: An improved approach to hybrid model learning.
CDC
Stephanie Gil, Brian C. Williams
2008 J jnl
A combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions.
Robotics Auton. Syst.
Lars Blackmore, Stanislav Funiak, Brian C. Williams
2008 J jnl
Active Estimation for Jump Markov Linear Systems.
IEEE Trans. Autom. Control.
Lars Blackmore, Senthooran Rajamanoharan, Brian C. Williams
2008 A* conf
An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure.
AAAI
Masahiro Ono, Brian C. Williams
2008 A* conf
Generative Planning for Hybrid Systems Based on Flow Tubes.
ICAPS
Hui X. Li, Brian C. Williams
2008 — conf
Iterative Risk Allocation: A new approach to robust Model Predictive Control with a joint chance constraint.
CDC
Masahiro Ono, Brian C. Williams
2007 J jnl
Conflict-directed A
Discret. Appl. Math.
Brian C. Williams, Robert J. Ragno
2007 — conf
Model learning for switching linear systems with autonomous mode transitions.
CDC
Lars Blackmore, Stephanie Gil, Seung Chung, Brian C. Williams
2007 C conf
Optimal, Robust Predictive Control of Nonlinear Systems under Probabilistic Uncertainty using Particles.
ACC
Lars Blackmore, Brian C. Williams
2007 — conf
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles.
HSCC
Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams
2006 — conf
Active Estimation for Switching Linear Dynamic Systems.
CDC
Lars Blackmore, Senthooran Rajamanoharan, Brian C. Williams
2006 B conf
Conflict-Directed A* Search for Soft Constraints.
CPAIOR
Martin Sachenbacher, Brian C. Williams
2006 A* conf
DNNF-based Belief State Estimation.
AAAI
Paul Elliott, Brian C. Williams
2006 A* conf
Robust Execution on Contingent, Temporally Flexible Plans.
AAAI
Stephen A. Block, Andreas F. Wehowsky, Brian C. Williams
2005 A* conf
Bounded Search and Symbolic Inference for Constraint Optimization.
IJCAI
Martin Sachenbacher, Brian C. Williams
2005 A* conf
Combining Stochastic and Greedy Search in Hybrid Estimation.
AAAI
Lars Blackmore, Stanislav Funiak, Brian C. Williams
2005 A* conf
Coordinating Agile Systems through the Model-based Execution of Temporal Plans.
AAAI
Thomas Léauté, Brian C. Williams
2005 A* conf
Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata.
AAAI
Oliver B. Martin, Brian C. Williams, Michel D. Ingham
2005 A* conf
Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior.
AAAI
Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher
2004 A conf
Diagnosis as Semiring-Based Constraint Optimization.
ECAI
Martin Sachenbacher, Brian C. Williams
2004 J jnl
Hybrid estimation of complex systems.
IEEE Trans. Syst. Man Cybern. Part B
Michael W. Hofbaur, Brian C. Williams
2004 J jnl
Model-Based Programming of Fault-Aware Systems.
AI Mag.
Brian C. Williams, Michel D. Ingham, Seung Chung, Paul Elliott, Michael W. Hofbaur, Gregory T. Sullivan
2004 A conf
On-Demand Bound Computation for Best-First Constraint Optimization.
CP
Martin Sachenbacher, Brian C. Williams
2003 J jnl
Model-based programming of intelligent embedded systems and robotic space explorers.
Proc. IEEE
Brian C. Williams, Michel D. Ingham, Seung H. Chung, Paul H. Elliott
2002 — conf
Mode Estimation of Probabilistic Hybrid Systems.
HSCC
Michael W. Hofbaur, Brian C. Williams
2002 A conf
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.
CP
Brian C. Williams, Michel D. Ingham
2001 A* conf
Executing Reactive, Model-based Programs through Graph-based Temporal Planning.
IJCAI
Phil Kim, Brian C. Williams, Mark Abramson
2001 A* conf
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior.
IJCAI
Brian C. Williams, Seung Chung, Vineet Gupta
2000 — conf
Model-Based Autonomous Systems for Robotic Space Exploration.
HSCC
Brian C. Williams
1999 J jnl
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft.
Auton. Agents Multi Agent Syst.
Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, Christian Plaunt, Brian C. Williams
1998 — conf
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft.
Agents
Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, P. Pandurang Nayak, Christian Plaunt, Brian C. Williams
1998 J jnl
An Autonomous Spacecraft Agent Prototype.
Auton. Robots
Barney Pell, Douglas E. Bernard, Steve A. Chien, Erann Gat, Nicola Muscettola, P. Pandurang Nayak, Michael D. Wagner, Brian C. Williams
1998 — conf
Decompositional, Model-based Learning and its Analogy to Diagnosis.
AAAI/IAAI
Brian C. Williams, William Millar
1998 J jnl
Model-Directed Autonomous Systems.
AI Mag.
P. Pandurang Nayak, Brian C. Williams
1998 J jnl
Remote Agent: To Boldly Go Where No AI System Has Gone Before.
Artif. Intell.
Nicola Muscettola, P. Pandurang Nayak, Barney Pell, Brian C. Williams
1997 — conf
A Reactive Planner for a Model-based Executive.
IJCAI
Brian C. Williams, P. Pandurang Nayak
1997 — conf
An Autnomous Spacecarft Agent Prototype.
Agents
Barney Pell, Douglas E. Bernard, Steve A. Chien, Erann Gat, Nicola Muscettola, P. Pandurang Nayak, Michael D. Wagner, Brian C. Williams
1997 — conf
Fast Context Switching in Real-Time Propositional Reasoning.
AAAI/IAAI
P. Pandurang Nayak, Brian C. Williams
1996 — conf
A Model-Based Approach to Reactive Self-Configuring Systems.
AAAI/IAAI, Vol. 2
Brian C. Williams, P. Pandurang Nayak
1996 J jnl
Immobile Robots AI in the New Millennium.
AI Mag.
Brian C. Williams, P. Pandurang Nayak
1996 — conf
Model-Based Autonomous Systems in the New Millenium.
AIPS
Brian C. Williams
1994 A* conf
Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning.
AAAI
Brian C. Williams, Jonathan Cagan
1994 A* conf
Decompositional Modeling through Caricatural Reasoning.
AAAI
Brian C. Williams, Olivier Raiman
1992 J jnl
Narrow Views, Old Talks, New Beginnings.
Comput. Intell.
Brian C. Williams, Olivier Raiman, Daniel G. Bobrow, Mark Shirley, Brian Falkenhainer, Johan de Kleer
1991 J jnl
A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning.
Artif. Intell.
Brian C. Williams
1991 — conf
Interaction-based Design: Constructing Novel Devices from First Principles.
IntCAD
Brian C. Williams
1991 J jnl
Qualitative Reasoning about Physical Systems: A Return to Roots.
Artif. Intell.
Brian C. Williams, Johan de Kleer
1990 A* conf
Interaction-Based Invention: Designing Novel Devices from First Principles.
AAAI
Brian C. Williams
1990 — conf
Interaction-based Invention: Designing Novel Devices from First Principles.
Expert Systems in Engineering
Brian C. Williams
1989 A* conf
Diagnosis with Behavioral Modes.
IJCAI
Johan de Kleer, Brian C. Williams
1988 A* conf
MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning.
AAAI
Brian C. Williams
1987 J jnl
Diagnosing Multiple Faults.
Artif. Intell.
Johan de Kleer, Brian C. Williams
1986 A* conf
Back to Backtracking: Controlling the ATMS.
AAAI
Johan de Kleer, Brian C. Williams
1986 A* conf
Doing Time: Putting Qualitative Reasoning on Firmer Ground.
AAAI
Brian C. Williams
1986 A* conf
Reasoning about Multiple Faults.
AAAI
Johan de Kleer, Brian C. Williams
1984 J jnl
Qualitative Analysis of MOS Circuits.
Artif. Intell.
Brian C. Williams
1984 A* conf
The Use of Continuity in a Qualitative Physics.
AAAI
Brian C. Williams