My Publications

My Publications


2016

Johnson, Benjamin; Havlak, Frank; Kress-Gazit, Hadas; Campbell, Mark

Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle Journal Article

In: Journal of Field Robotics, To Appear , 2016.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Temporal Logic

Johnson, Benjamin; Roberts, Mark; Apker, Thomas; Aha, David W

Goal Reasoning with Information Measures Inproceedings

In: 4th Annual Conference on Advances in Cognitive Systems, Evanston, IL, USA, 2016.

Abstract | Links | BibTeX | Tags: Goal Reasoning

Johnson, Benjamin; Roberts, Mark; Apker, Thomas; Aha, David W

Goal Reasoning with Informative Expectations Inproceedings

In: Finzi, Alberto ; Karpas, Erez (Ed.): Planning and Robotics: Papers from the ICAPS Workshop, pp. 93–102, London, UK, 2016.

Abstract | Links | BibTeX | Tags: Goal Reasoning

To, Son Thanh; Roberts, Mark; Apker, Thomas; Johnson, Benjamin; Aha, David W

Mixed Propositional Metric Temporal Logic : A New Formalism for Temporal Planning Inproceedings

In: AAAI Workshop on Planning for Hybrid Systems, Phoenix, AZ, USA, 2016.

Abstract | Links | BibTeX | Tags: Temporal Logic

Apker, Thomas; Johnson, Benjamin; Humphrey, Laura

LTL Templates for Play-Calling Supervisory Control Inproceedings

In: AIAA Science and Technology Forum Exposition, San Diego, CA, USA, 2016.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Temporal Logic

2015

Auslander, Bryan; Floyd, Michael W; Apker, Thomas; Johnson, Benjamin; Roberts, Mark; Aha, David W

Learning to Estimate : A Case-Based Approach to Task Execution Prediction Inproceedings

In: Proceedings of the 23rd International Conference on Case-Based Reasoning, pp. 15–29, Frankfurt, Germany, 2015.

Abstract | Links | BibTeX | Tags: Case-Based Reasoning, Goal Reasoning

Roberts, Mark; Vattam, Swaroop; Alford, Ronald; Auslander, Bryan; Apker, Thomas; Johnson, Benjamin; Aha, David W

Goal Reasoning to Coordinate Robotic Teams for Disaster Relief Inproceedings

In: Planning and Robotics: Papers from the ICAPS Workshop, AAAI, Jerusalem, Israel, 2015.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Goal Reasoning

Roberts, Mark; Apker, Thomas; Johnson, Benjamin; Auslander, Bryan; Wellman, Briana; Aha, David W

Coordinating Robot Teams for Disaster Relief Inproceedings

In: Proceedings of the 28th International FLAIRS Conference, Hollywood, Florida, USA, 2015.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Goal Reasoning

Johnson, Benjamin; Kress-Gazit, Hadas

Analyzing and Revising Synthesized Controllers for Robots with Sensing and Actuation Errors Journal Article

In: The International Journal of Robotics Research, 34 (6), pp. 816–832, 2015.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Temporal Logic

2013

Wilson, Mark; Auslander, Bryan; Johnson, Benjamin; Apker, Thomas; McMahon, James; Aha, David W

Towards Applying Goal Autonomy for Vehicle Control Inproceedings

In: Aha, David W; Cox, M T; Munoz-Avila, H (Ed.): Goal Reasoning: Papers from the ACS Workshop, pp. 127–142, University of Maryland College Park, MD, 2013.

Abstract | Links | BibTeX | Tags: Goal Reasoning

Johnson, Benjamin; Kress-Gazit, Hadas

Analyzing and Revising High-Level Robot Behaviors Under Actuator Error Inproceedings

In: IEEE International Conference on Intelligent Robots and Systems, pp. 741–748, IEEE, Tokyo, Japan, 2013.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Temporal Logic

2012

Johnson, Benjamin; Kress-Gazit, Hadas

Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error Journal Article

In: Autonomous Robots, 33 (3), pp. 309–321, 2012.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Temporal Logic

Johnson, Benjamin; Havlak, Frank; Campbell, Mark; Kress-Gazit, Hadas

Execution and Analysis of High-Level Tasks with Dynamic Obstacle Anticipation Inproceedings

In: IEEE International Conference on Robotics and Automation, pp. 330–337, IEEE, Saint Paul, MN, USA, 2012.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Temporal Logic

2011

Johnson, Benjamin; Kress-Gazit, Hadas

Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error Inproceedings

In: Robotics: Science and Systems, Los Angeles, CA, USA, 2011.

Abstract | Links | BibTeX | Tags: Controller Synthesis, Temporal Logic

2009

Hallin, Nicodemus; Johnson, Benjamin; O'Rourke, Michael; Edwards, Dean

A Fuzzy Logic Resource Optimizer for a Fleet of Autonomous Vehicles in Low-Bandwidth Conditions Inproceedings

In: IEEE OCEANS, pp. 1–8, 2009.

Abstract | Links | BibTeX | Tags: Autonomous Underwater Vehicles, Fuzzy Logic

Johnson, Benjamin; Hallin, Nicodemus; Leidenfrost, Hans; O'Rourke, Michael; Edwards, Dean

Collaborative Mapping with Autonomous Underwater Vehicles in Low-Bandwidth Conditions Inproceedings

In: IEEE OCEANS, pp. 1–7, 2009.

Abstract | Links | BibTeX | Tags: Autonomous Underwater Vehicles

Hallin, Nicodemus; Johnson, Benjamin; Egbo, Henry; Ray, Patrick L; O'Rourke, Michael; Frenzel, James F; Soule, Terence; Edwards, Dean

Using Language-Centered Intelligence to Optimize Mine-Like Object Inspections for a Fleet of Autonomous Underwater Vehicles Inproceedings

In: International Symposium on Unmanned Untethered Submersible Technology, 2009.

Abstract | Links | BibTeX | Tags: Autonomous Underwater Vehicles

Hallin, Nicodemus; Johnson, Benjamin; Egbo, Henry; O'Rourke, Michael; Soule, Terence; Edwards, Dean

Simulating Human Reasoning in Mine-Like Object Inspection Assignments for a Fleet of Unmanned Underwater Vehicles Inproceedings

In: Advanced Technologies for Enhanced Quality of Life, pp. 158–162, 2009.

Abstract | Links | BibTeX | Tags: Autonomous Underwater Vehicles