Brian Charles Williams

According to our database1, Brian Charles Williams
  • authored at least 127 papers between 1984 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Heuristic and Genetic Algorithm Approaches for UAV Path Planning under Critical Situation.
International Journal on Artificial Intelligence Tools, 2017

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

Temporally and spatially flexible plan execution for dynamic hybrid systems.
Artif. Intell., 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

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
Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk.
CoRR, 2014

Drake: An Efficient Executive for Temporal Plans with Choice.
CoRR, 2014

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

Computational Sustainability.
AI Magazine, 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

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
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.
Computers in Industry, 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

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

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. Automat. Contr., 2008

A combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions.
Robotics and Autonomous Systems, 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* and its role in model-based embedded systems.
Discrete Applied Mathematics, 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

Intent Recognition for Human-Robot Interaction.
Proceedings of the Interaction Challenges for Intelligent Assistants, 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

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

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. Systems, Man, and Cybernetics, Part B, 2004

Model-Based Programming of Fault-Aware Systems.
AI Magazine, 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.
Proceedings of the 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.
Autonomous Agents and Multi-Agent Systems, 1999

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

Model-Directed Autonomous Systems.
AI Magazine, 1998

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

A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft.
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


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 Magazine, 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.
Computational Intelligence, 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

Interaction-Based Invention: Designing Novel Devices from First Principles.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, July 29, 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. St. Paul, 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...