Brian C. Williams

Orcid: 0000-0002-1057-3940

Affiliations:
  • Massachusetts Institute of Technology, CSAIL, Boston, MA, USA


According to our database1, Brian C. Williams authored at least 207 papers between 1984 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A conflict-directed approach to chance-constrained mixed logical linear programming.
Artif. Intell., October, 2023

Convex risk-bounded continuous-time trajectory planning and tube design in uncertain nonconvex environments.
Int. J. Robotics Res., September, 2023

An empowerment-based solution to robotic manipulation tasks with sparse rewards.
Auton. Robots, June, 2023

An anytime algorithm for constrained stochastic shortest path problems with deterministic policies.
Artif. Intell., March, 2023

Non-Gaussian Uncertainty Minimization Based Control of Stochastic Nonlinear Robotic Systems.
CoRR, 2023

Chance-Constrained Trajectory Optimization for High-DOF Robots in Uncertain Environments.
CoRR, 2023

P4P: Conflict-Aware Motion Prediction for Planning in Autonomous Driving.
IROS, 2023

Real-Time Tube-Based Non-Gaussian Risk Bounded Motion Planning for Stochastic Nonlinear Systems in Uncertain Environments via Motion Primitives.
IROS, 2023

Adaptation and Communication in Human-Robot Teaming to Handle Discrepancies in Agents' Beliefs about Plans.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
Chance-constrained Static Schedules for Temporally Probabilistic Plans.
J. Artif. Intell. Res., 2022

Multi-Agent Chance-Constrained Stochastic Shortest Path with Application to Risk-Aware Intelligent Intersection.
CoRR, 2022

Hierarchical Constrained Stochastic Shortest Path Planning via Cost Budget Allocation.
CoRR, 2022

Cooperative Task and Motion Planning for Multi-Arm Assembly Systems.
CoRR, 2022

Fast nonlinear risk assessment for autonomous vehicles using learned conditional probabilistic models of agent futures.
Auton. Robots, 2022

InterSim: Interactive Traffic Simulation via Explicit Relation Modeling.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

TIP: Task-Informed Motion Prediction for Intelligent Vehicles.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

HYPER: Learned Hybrid Trajectory Prediction via Factored Inference and Adaptive Sampling.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Non-Gaussian Risk Bounded Trajectory Optimization for Stochastic Nonlinear Systems in Uncertain Environments.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

M2I: From Factored Marginal Trajectory Prediction to Interactive Prediction.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Multi-Agent Path Finding for Precedence-Constrained Goal Sequences.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021
Fast-Reactive Probabilistic Motion Planning for High-Dimensional Robots.
SN Comput. Sci., 2021

CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy.
IEEE Robotics Autom. Lett., 2021

TIP: Task-Informed Motion Prediction for Intelligent Systems.
CoRR, 2021

Automatic Curricula via Expert Demonstrations.
CoRR, 2021

Moment-Based Exact Uncertainty Propagation Through Nonlinear Stochastic Autonomous Systems.
CoRR, 2021

Generalized Conflict-Directed Search for Optimal Ordering Problems.
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

Convex Risk Bounded Continuous-Time Trajectory Planning in Uncertain Nonconvex Environments.
Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Risk Conditioned Neural Motion Planning.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

An Anytime Algorithm for Chance Constrained Stochastic Shortest Path Problems and Its Application to Aircraft Routing.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Optimal mixed discrete-continuous planning for linear hybrid systems.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Real-Time Risk-Bounded Tube-Based Trajectory Safety Verification.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Privacy-Preserving Algorithm for Decoupling of Multi-Agent Plans with Uncertainty.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Non-Gaussian Chance-Constrained Trajectory Planning for Autonomous Vehicles Under Agent Uncertainty.
IEEE Robotics Autom. Lett., 2020

DiversityGAN: Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.
IEEE Robotics Autom. Lett., 2020

Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation.
J. Artif. Intell. Res., 2020

Helpfulness as a Key Metric of Human-Robot Collaboration.
CoRR, 2020

Moment State Dynamical Systems for Nonlinear Chance-Constrained Motion Planning.
CoRR, 2020

Fast Certification of Collision Probability Bounds with Uncertain Convex Obstacles.
CoRR, 2020

Non-Gaussian Chance-Constrained Trajectory Planning for Autonomous Vehicles in the Presence of Uncertain Agents.
CoRR, 2020

Fast Risk Assessment for Autonomous Vehicles Using Learned Models of Agent Futures.
Proceedings of the Robotics: Science and Systems XVI, 2020

QSRNet: Estimating Qualitative Spatial Representations from RGB-D Images.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Provably Safe Trajectory Optimization in the Presence of Uncertain Convex Obstacles.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract).
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019
Collision-Free Encoding for Chance-Constrained Nonconvex Path Planning.
IEEE Trans. Robotics, 2019

Diversity-Aware Vehicle Motion Prediction via Latent Semantic Sampling.
CoRR, 2019

Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty.
Artif. Intell., 2019

Risk Contours Map for Risk Bounded Motion Planning under Perception Uncertainties.
Proceedings of the Robotics: Science and Systems XV, 2019

A Model-Based Human Activity Recognition for Human-Robot Collaboration.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Approximability of Constant-horizon Constrained POMDP.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Complexity Bounds for the Controllability of Temporal Networks with Conditions, Disjunctions, and Uncertainty (Extended Abstract).
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Improving Incremental Planning Performance through Overlapping Replanning and Execution.
Proceedings of the International Conference on Robotics and Automation, 2019

Uncertainty-Aware Driver Trajectory Prediction at Urban Intersections.
Proceedings of the International Conference on Robotics and Automation, 2019

Chance Constrained Motion Planning for High-Dimensional Robots.
Proceedings of the International Conference on Robotics and Automation, 2019

Sequential Chance Optimization For Flow-Tube Based Control Of Probabilistic Nonlinear Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Multiagent Disjunctive Temporal Networks.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Efficiently Exploring Ordering Problems through Conflict-Directed Search.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018
Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams.
J. Artif. Intell. Res., 2018

ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization.
J. Artif. Intell. Res., 2018

RADMPC: A Fast Decentralized Approach for Chance-Constrained Multi-Vehicle Path-Planning.
CoRR, 2018

Vulcan: A Monte Carlo Algorithm for Large Chance Constrained MDPs with Risk Bounding Functions.
CoRR, 2018

Improving Trajectory Optimization Using a Roadmap Framework.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Variable-Delay Controllability.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Managing Communication Costs under Temporal Uncertainty.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Moment-Sum-of-Squares Approach for Fast Risk Estimation in Uncertain Environments.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Hybrid Risk-Aware Conditional Planning with Applications in Autonomous Vehicles.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

RADMAX: Risk and Deadline Aware Planning for Maximum Utility.
Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Resolving Over-Constrained Temporal Problems with Uncertainty through Conflict-Directed Relaxation.
J. Artif. Intell. Res., 2017

Heuristic and Genetic Algorithm Approaches for UAV Path Planning under Critical Situation.
Int. J. Artif. Intell. Tools, 2017

Planning and Robotics (Dagstuhl Seminar 17031).
Dagstuhl Reports, 2017

Temporally and spatially flexible plan execution for dynamic hybrid systems.
Artif. Intell., 2017

I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Faster Conflict Generation for Dynamic Controllability.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

An embedded system architecture based on genetic algorithms for mission and safety planning with UAV.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Mixed Discrete-Continuous Planning with Convex Optimization.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Chance-Constrained Path Planning with Continuous Time Safety Guarantees.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Time Resource Networks.
CoRR, 2016

Towards Personal Assistants that Can Help Users Plan.
Proceedings of the Intelligent Virtual Agents - 16th International Conference, 2016

Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Hybrid Multi-Population Genetic Algorithm for UAV Path Planning.
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016

Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

PARIS: A Polynomial-Time, Risk-Sensitive Scheduling Algorithm for Probabilistic Simple Temporal Networks with Uncertainty.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

RAO*: An Algorithm for Chance-Constrained POMDP's.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Embedding Ethical Principles in Collective Decision Support Systems.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reactive Integrated Motion Planning and Execution.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Multi-population Genetic Algorithm for UAV Path Re-planning under Critical Situation.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Temporal Landmarks: What Must Happen, and When.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Robust Execution of Plans for Human-Robot Teams.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Optimising Bounds in Simple Temporal Networks with Uncertainty under Dynamic Controllability Constraints.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Resolving Over-Constrained Probabilistic Temporal Problems through Chance Constraint Relaxation.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Chance-Constrained Scheduling via Conflict-Directed Risk Allocation.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

tBurton: A Divide and Conquer Temporal Planner.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Learning Hybrid Models with Guarded Transitions.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Computational Sustainability: Editorial Introduction to the Summer and Fall Issues.
AI Mag., 2014

Computational Sustainability.
AI Mag., 2014

General probabilistic bounds for trajectories using only mean and variance.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A new filter for hybrid systems and its applications to robust attitude estimation.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Resolving Uncontrollable Conditional Temporal Problems Using Continuous Relaxations.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Chance-Constrained Consistency for Probabilistic Temporal Plan Networks.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Concurrent Plan Recognition and Execution for Human-Robot Teams.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

A Scheduler for Actions with Iterated Durations.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Chance-Constrained Probabilistic Simple Temporal Problems.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk.
J. Artif. Intell. Res., 2013

Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution.
Proceedings of the IJCAI 2013, 2013

Risk-limiting, market-based power dispatch and pricing.
Proceedings of the 12th European Control Conference, 2013

Paper Summary: Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Chance-Constrained Strong Controllability of Temporal Plan Networks with Uncertainty.
Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013

2012
Learning and Recognition of Hybrid Manipulation Motions in Variable Environments Using Probabilistic Flow Tubes.
Int. J. Soc. Robotics, 2012

Risk-sensitive plan execution for connected sustainable home.
Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012

A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Chance-Constrained Optimal Path Planning With Obstacles.
IEEE Trans. Robotics, 2011

Drake: An Efficient Executive for Temporal Plans with Choice.
J. Artif. Intell. Res., 2011

Reactive, model-based monitoring in RFID-enabled manufacturing.
Comput. Ind., 2011

Improved human-robot team performance using chaski, a human-inspired plan execution system.
Proceedings of the 6th International Conference on Human Robot Interaction, 2011

Regression-based LP solver for chance-constrained finite horizon optimal control with nonconvex constraints.
Proceedings of the American Control Conference, 2011

Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
A Probabilistic Particle-Control Approximation of Chance-Constrained Stochastic Predictive Control.
IEEE Trans. Robotics, 2010

Runtime Verification of Stochastic, Faulty Systems.
Proceedings of the Runtime Verification - First International Conference, 2010

Exploiting Spatial and Temporal Flexibility for Exploiting Spatial and Temporal Flexibility for Plan Execution of Hybrid, Under-actuated Systems.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

Decentralized chance-constrained finite-horizon optimal control for multi-agent systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A Biologically Modeled Intrusion Detection System for Mobile Networks.
Proceedings of the Fifth International Conference on Broadband and Wireless Computing, 2010

Market-based risk allocation for multi-agent systems.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Chance constrained finite horizon optimal control with nonconvex constraints.
Proceedings of the American Control Conference, 2010

Dynamic Execution of Temporal Plans for Temporally Fluid Human-Robot Teaming.
Proceedings of the It's All in the Timing, 2010

Dynamic Execution of Temporally and Spatially Flexible Reactive Programs.
Proceedings of the Bridging the Gap Between Task and Motion Planning, 2010

2009
Beyond local optimality: An improved approach to hybrid model learning.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Fast Distributed Multi-agent Plan Execution with Dynamic Task Assignment and Scheduling.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Dynamic Controllability of Temporally-flexible Reactive Programs.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Flexible Execution of Plans with Choice.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Active Estimation for Jump Markov Linear Systems.
IEEE Trans. Autom. Control., 2008

A combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions.
Robotics Auton. Syst., 2008

Iterative Risk Allocation: A new approach to robust Model Predictive Control with a joint chance constraint.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Fast Dynamic Scheduling of Disjunctive Temporal Constraint Networks through Incremental Compilation.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

Generative Planning for Hybrid Systems Based on Flow Tubes.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Conflict-directed A<sup>*</sup> and its role in model-based embedded systems.
Discret. Appl. Math., 2007

Search-based Foot Placement for Quadrupedal Traversal of Challenging Terrain.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Intent Recognition for Human-Robot Interaction.
Proceedings of the Interaction Challenges for Intelligent Assistants, 2007

Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Model learning for switching linear systems with autonomous mode transitions.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

A Fast Incremental Algorithm for Maintaining Dispatchability of Partially Controllable Plans.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Optimal, Robust Predictive Control of Nonlinear Systems under Probabilistic Uncertainty using Particles.
Proceedings of the American Control Conference, 2007

2006
Automatic recovery from software failure.
Commun. ACM, 2006

Autonomous Robust Execution of Complex Robotic Missions.
Proceedings of the Intelligent Autonomous Systems 9, 2006

Conflict-Directed A* Search for Soft Constraints.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

Finite Horizon Control Design for Optimal Discrimination between Several Models.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Active Estimation for Switching Linear Dynamic Systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

A probabilistic approach to optimal robust path planning with obstacles.
Proceedings of the American Control Conference, 2006

Optimal manipulator path planning with obstacles using disjunctive programming.
Proceedings of the American Control Conference, 2006

Robust Execution of Temporally Flexible Plans for Bipedal Walking Devices.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Exploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots.
Proceedings of the Proceedings, 2006

DNNF-based Belief State Estimation.
Proceedings of the Proceedings, 2006

Extending Dynamic Backtracking to Solve Weighted Conditional CSPs.
Proceedings of the Proceedings, 2006

Robust Execution on Contingent, Temporally Flexible Plans.
Proceedings of the Proceedings, 2006

2005
Bounded Search and Symbolic Inference for Constraint Optimization.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Generalized Conflict Learning for Hybrid Discrete/Linear Optimization.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Finite Horizon Control Design for Optimal Model Discrimination.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Enabling Fast Flexible Planning through Incremental Temporal Reasoning with Conflict Extraction.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior.
Proceedings of the Proceedings, 2005

Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata.
Proceedings of the Proceedings, 2005

Coordinating Agile Systems through the Model-based Execution of Temporal Plans.
Proceedings of the Proceedings, 2005

Combining Stochastic and Greedy Search in Hybrid Estimation.
Proceedings of the Proceedings, 2005

2004
Hybrid estimation of complex systems.
IEEE Trans. Syst. Man Cybern. Part B, 2004

Model-Based Programming of Fault-Aware Systems.
AI Mag., 2004

Diagnosis as Semiring-Based Constraint Optimization.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

On-Demand Bound Computation for Best-First Constraint Optimization.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2003
Model-based programming of intelligent embedded systems and robotic space explorers.
Proc. IEEE, 2003

2002
Mode Estimation of Probabilistic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Executing Reactive, Model-based Programs through Graph-based Temporal Planning.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
R2D2 in a softball: the portable satellite assistant.
Proceedings of the 5th International Conference on Intelligent User Interfaces, 2000

Model-Based Autonomous Systems for Robotic Space Exploration.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft.
Auton. Agents Multi Agent Syst., 1999

1998
An Autonomous Spacecraft Agent Prototype.
Auton. Robots, 1998

Model-Directed Autonomous Systems.
AI Mag., 1998

Remote Agent: To Boldly Go Where No AI System Has Gone Before.
Artif. Intell., 1998

A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft.
Proceedings of the Second International Conference on Autonomous Agents, 1998

Decompositional, Model-based Learning and its Analogy to Diagnosis.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
A Reactive Planner for a Model-based Executive.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

An Autnomous Spacecarft Agent Prototype.
Proceedings of the First International Conference on Autonomous Agents, 1997

Fast Context Switching in Real-Time Propositional Reasoning.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
Immobile Robots AI in the New Millennium.
AI Mag., 1996

Model-Based Autonomous Systems in the New Millenium.
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

A Model-Based Approach to Reactive Self-Configuring Systems.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1994
Decompositional Modeling through Caricatural Reasoning.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1992
Narrow Views, Old Talks, New Beginnings.
Comput. Intell., 1992

1991
Qualitative Reasoning about Physical Systems: A Return to Roots.
Artif. Intell., 1991

A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning.
Artif. Intell., 1991

Interaction-based Design: Constructing Novel Devices from First Principles.
Proceedings of the Intelligent Computer Aided Design, Proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 September, 1991

1990
Interaction-based Invention: Designing Novel Devices from First Principles.
Proceedings of the Expert Systems in Engineering, 1990

1989
Invention from first principles via topologies of interaction.
PhD thesis, 1989

Diagnosis with Behavioral Modes.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987
Diagnosing Multiple Faults.
Artif. Intell., 1987

1986
Doing Time: Putting Qualitative Reasoning on Firmer Ground.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Back to Backtracking: Controlling the ATMS.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Reasoning about Multiple Faults.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1984
Qualitative Analysis of MOS Circuits.
Artif. Intell., 1984

The Use of Continuity in a Qualitative Physics.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984


  Loading...