Automated Planning

Action Graphs for Goal Recognition Problems with Inaccurate Initial States (Student Abstract) AAAI 2020 Active Goal Recognition AAAI 2020 A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning AAAI 2020 A Penny for Your Thoughts: The Value of Communication in Ad Hoc Teamwork IJCAI 2020 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning IJCAI 2020 Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020 Expectation-Aware Planning: A Unifying Framework for Synthesizing and Executing Self-Explaining Plans for Human-Aware Planning AAAI 2020 Front-to-Front Heuristic Search for Satisficing Classical Planning IJCAI 2020 Generalized Planning with Positive and Negative Examples AAAI 2020 Graph Neural Architecture Search IJCAI 2020 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020 Implicit Coordination Using FOND Planning AAAI 2020 Information Shaping for Enhanced Goal Recognition of Partially-Informed Agents AAAI 2020 Interactive Task Learning from GUI-Grounded Natural Language Instructions and Demonstrations ACL 2020 Latent Belief Space Motion Planning under Cost, Dynamics, and Intent Uncertainty RSS 2020 Learning and Reasoning for Robot Sequential Decision Making under Uncertainty AAAI 2020 Learning solutions to hybrid control problems using Benders cuts L4DC 2020 Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems AAAI 2020 LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020 Narrative Planning Model Acquisition from Text Summaries and Descriptions AAAI 2020 Online Planner Selection with Graph Neural Networks and Adaptive Scheduling AAAI 2020 On Succinct Groundings of HTN Planning Problems AAAI 2020 Optimal Planning Modulo Theories IJCAI 2020 Planning and Acting with Non-Deterministic Events: Navigating between Safe States AAAI 2020