Brian C. Williams

Masahiro Ono, Brian C. Williams, Lars Blackmore: Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk. J. Artif. Intell. Res. (JAIR) 46: 511-577 (2013)

Yi Huang, Brian C. Williams, Li Zheng: Reactive, model-based monitoring in RFID-enabled manufacturing. Computers in Industry 62(8-9): 811-819 (2011)

Patrick R. Conrad, Brian C. Williams: Drake: An Efficient Executive for Temporal Plans with Choice. J. Artif. Intell. Res. (JAIR) 42: 607-659 (2011)

Lars Blackmore, Masahiro Ono, Brian C. Williams: Chance-Constrained Optimal Path Planning With Obstacles. IEEE Transactions on Robotics 27(6): 1080-1094 (2011)

Julie A. Shah, James Wiken, Brian C. Williams, Cynthia Breazeal: Improved human-robot team performance using chaski, a human-inspired plan execution system. HRI 2011: 29-36

Lars Blackmore, Masahiro Ono, Askar Bektassov, Brian C. Williams: A Probabilistic Particle-Control Approximation of Chance-Constrained Stochastic Predictive Control. IEEE Transactions on Robotics 26(3): 502-517 (2010)

Robert T. Effinger, Brian C. Williams, Andreas G. Hofmann: Dynamic Execution of Temporally and Spatially Flexible Reactive Programs. Bridging the Gap Between Task and Motion Planning 2010

Julie A. Shah, Brian C. Williams, Cynthia Breazeal: Dynamic Execution of Temporal Plans for Temporally Fluid Human-Robot Teaming. AAAI Spring Symposium: It's All in the Timing 2010

Masahiro Ono, Brian C. Williams: Market-based risk allocation for multi-agent systems. AAMAS 2010: 1423-1424

Brian C. Williams, Errin W. Fulp: A Biologically Modeled Intrusion Detection System for Mobile Networks. BWCCA 2010: 453-458

Masahiro Ono, Brian C. Williams: Decentralized chance-constrained finite-horizon optimal control for multi-agent systems. CDC 2010: 138-145

Cristina M. Wilcox, Brian C. Williams: Runtime Verification of Stochastic, Faulty Systems. RV 2010: 452-459

Patrick R. Conrad, Julie A. Shah, Brian C. Williams: Flexible Execution of Plans with Choice. ICAPS 2009

Robert T. Effinger, Brian C. Williams, Gerard Kelly, Michael Sheehy: Dynamic Controllability of Temporally-flexible Reactive Programs. ICAPS 2009

Julie A. Shah, Patrick R. Conrad, Brian C. Williams: Fast Distributed Multi-agent Plan Execution with Dynamic Task Assignment and Scheduling. ICAPS 2009

Lars Blackmore, Stanislav Funiak, Brian C. Williams: A combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions. Robotics and Autonomous Systems 56(2): 105-129 (2008)

Lars Blackmore, Senthooran Rajamanoharan, Brian C. Williams: Active Estimation for Jump Markov Linear Systems. IEEE Trans. Automat. Contr. 53(10): 2223-2236 (2008)

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

Hui X. Li, Brian C. Williams: Generative Planning for Hybrid Systems Based on Flow Tubes. ICAPS 2008: 206-213

Julie A. Shah, Brian C. Williams: Fast Dynamic Scheduling of Disjunctive Temporal Constraint Networks through Incremental Compilation. ICAPS 2008: 322-329

Masahiro Ono, Brian C. Williams: Iterative Risk Allocation: A new approach to robust Model Predictive Control with a joint chance constraint. CDC 2008: 3427-3432

Brian C. Williams, Robert J. Ragno: Conflict-directed A^* and its role in model-based embedded systems. Discrete Applied Mathematics 155(12): 1562-1595 (2007)

Andreas G. Hofmann, Brian C. Williams: Intent Recognition for Human-Robot Interaction. AAAI Spring Symposium: Interaction Challenges for Intelligent Assistants 2007: 60-61

Julie A. Shah, John Stedl, Brian C. Williams, Paul Robertson: A Fast Incremental Algorithm for Maintaining Dispatchability of Partially Controllable Plans. ICAPS 2007: 296-303

Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams: Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles. HSCC 2007: 104-117

Andreas G. Hofmann, Brian C. Williams: Intent Recognition for Human-Robot Interaction. Interaction Challenges for Intelligent Assistants 2007: 60-61

Barrett Mitchell, Andreas G. Hofmann, Brian C. Williams: Search-based Foot Placement for Quadrupedal Traversal of Challenging Terrain. ICRA 2007: 1461-1466

Paul Robertson, Brian C. Williams: Automatic recovery from software failure. Commun. ACM 49(3): 41-47 (2006)

Robert T. Effinger, Brian C. Williams: Extending Dynamic Backtracking to Solve Weighted Conditional CSPs. AAAI 2006: 28-35

Paul Elliott, Brian C. Williams: DNNF-based Belief State Estimation. AAAI 2006: 36-41

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

Andreas G. Hofmann, Brian C. Williams: Exploiting Spatial and Temporal Flexibility for Plan Execution for Hybrid, Under-actuated Robots. AAAI 2006: 948-955

Martin Sachenbacher, Brian C. Williams: Conflict-Directed A* Search for Soft Constraints. CPAIOR 2006: 182-196

Paul Robertson, Robert T. Effinger, Brian C. Williams: Autonomous Robust Execution of Complex Robotic Missions. IAS 2006: 595-604

Thomas Léauté, Brian C. Williams: Coordinating Agile Systems through the Model-based Execution of Temporal Plans. AAAI 2005: 114-120

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

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

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

I-hsiang Shu, Robert T. Effinger, Brian C. Williams: Enabling Fast Flexible Planning through Incremental Temporal Reasoning with Conflict Extraction. ICAPS 2005: 252-261

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

Brian C. Williams, Michel D. Ingham, Seung Chung, Paul Elliott, Michael W. Hofbaur, Gregory T. Sullivan: Model-Based Programming of Fault-Aware Systems. AI Magazine 24(4): 61-76 (2004)

Michael W. Hofbaur, Brian C. Williams: Hybrid estimation of complex systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(5): 2178-2191 (2004)

Martin Sachenbacher, Brian C. Williams: On-Demand Bound Computation for Best-First Constraint Optimization. CP 2004: 762-766

Martin Sachenbacher, Brian C. Williams: Diagnosis as Semiring-Based Constraint Optimization. ECAI 2004: 873-877

Brian C. Williams, Michel D. Ingham, S. H. Chung, P. H. Elliott: Model-based programming of intelligent embedded systems and robotic space explorers. Proceedings of the IEEE 91(1): 212-237 (2003)

Brian C. Williams, Michel D. Ingham: Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State. CP 2002: 508-524

Michael W. Hofbaur, Brian C. Williams: Mode Estimation of Probabilistic Hybrid Systems. HSCC 2002: 253-266

Phil Kim, Brian C. Williams, Mark Abramson: Executing Reactive, Model-based Programs through Graph-based Temporal Planning. IJCAI 2001: 487-493

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

Brian C. Williams: Model-Based Autonomous Systems for Robotic Space Exploration. HSCC 2000: 4

Yuri Gawdiak, Jeffrey Bradshaw, Brian C. Williams, Hans Thomas: R2D2 in a softball: the portable satellite assistant. IUI 2000: 125-128

Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, Christian Plaunt, Brian C. Williams: A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft. Autonomous Agents and Multi-Agent Systems 2(1): 7-22 (1999)

Nicola Muscettola, P. Pandurang Nayak, Barney Pell, Brian C. Williams: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artif. Intell. 103(1-2): 5-47 (1998)

P. Pandurang Nayak, Brian C. Williams: Model-Directed Autonomous Systems. AI Magazine 19(2): 126 (1998)

Barney Pell, Douglas E. Bernard, Steve A. Chien, Erann Gat, Nicola Muscettola, P. Pandurang Nayak, Michael D. Wagner, Brian C. Williams: An Autonomous Spacecraft Agent Prototype. Auton. Robots 5(1): 29-52 (1998)

Brian C. Williams, William Millar: Decompositional, Model-based Learning and its Analogy to Diagnosis. AAAI/IAAI 1998: 197-204

Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, P. Pandurang Nayak, Christian Plaunt, Brian C. Williams: A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft. Agents 1998: 369-376

P. Pandurang Nayak, Brian C. Williams: Fast Context Switching in Real-Time Propositional Reasoning. AAAI/IAAI 1997: 50-56

Barney Pell, Douglas E. Bernard, Steve A. Chien, Erann Gat, Nicola Muscettola, P. Pandurang Nayak, Michael D. Wagner, Brian C. Williams: An Autnomous Spacecarft Agent Prototype. Agents 1997: 253-261

Brian C. Williams, P. Pandurang Nayak: A Reactive Planner for a Model-based Executive. IJCAI 1997: 1178-1185

Brian C. Williams, P. Pandurang Nayak: Immobile Robots AI in the New Millennium. AI Magazine 17(3): 16-35 (1996)

Brian C. Williams, P. Pandurang Nayak: A Model-Based Approach to Reactive Self-Configuring Systems. AAAI/IAAI, Vol. 2 1996: 971-978

Brian C. Williams: Model-Based Autonomous Systems in the New Millenium. AIPS 1996: 275-282

Brian C. Williams, Olivier Raiman: Decompositional Modeling through Caricatural Reasoning. AAAI 1994: 1199-1204

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

Brian C. Williams, Olivier Raiman, Daniel G. Bobrow, Mark Shirley, Brian Falkenhainer, Johan de Kleer: Narrow Views, Old Talks, New Beginnings. Computational Intelligence 8: 210-215 (1992)

Brian C. Williams, Johan de Kleer: Qualitative Reasoning about Physical Systems: A Return to Roots. Artif. Intell. 51(1-3): 1-9 (1991)

Brian C. Williams: A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning. Artif. Intell. 51(1-3): 39-94 (1991)

Brian C. Williams: Interaction-based Design: Constructing Novel Devices from First Principles. IntCAD 1991: 255-282

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

Brian C. Williams: Interaction-based Invention: Designing Novel Devices from First Principles. Expert Systems in Engineering 1990: 119-134

Johan de Kleer, Brian C. Williams: Diagnosis with Behavioral Modes. IJCAI 1989: 1324-1330

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

Johan de Kleer, Brian C. Williams: Diagnosing Multiple Faults. Artif. Intell. 32(1): 97-130 (1987)

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

Johan de Kleer, Brian C. Williams: Reasoning about Multiple Faults. AAAI 1986: 132-139

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

Brian C. Williams: Qualitative Analysis of MOS Circuits. Artif. Intell. 24(1-3): 281-346 (1984)

Brian C. Williams: The Use of Continuity in a Qualitative Physics. AAAI 1984: 350-354