Planning

Synthesizing Tasks for Block-based Programming NeurIPS 2020 Table2Analysis: Modeling and Recommendation of Common Analysis Patterns for Multi-Dimensional Data AAAI 2020 Task and Motion Planning Is PSPACE-Complete AAAI 2020 Task-Completion Dialogue Policy Learning via Monte Carlo Tree Search with Dueling Network EMNLP 2020 Task Scoping for Efficient Planning in Open Worlds (Student Abstract) AAAI 2020 TCP ≈ RDMA: CPU-efficient Remote Storage Access with i10 NSDI 2020 Temporal Planning with Intermediate Conditions and Effects AAAI 2020 The Choice Function Framework for Online Policy Improvement AAAI 2020 The Differentiable Cross-Entropy Method ICML 2020 Time-Inconsistent Planning: Simple Motivation Is Hard to Find AAAI 2020 Tiramisu: Fast Multilayer Network Verification NSDI 2020 Topological Sort for Sentence Ordering ACL 2020 To Signal or Not To Signal: Exploiting Uncertain Real-Time Information in Signaling Games for Security and Sustainability AAAI 2020 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 Tractable Reinforcement Learning of Signal Temporal Logic Objectives L4DC 2020 Trading Plan Cost for Timeliness in Situated Temporal Planning IJCAI 2020 Transfer Value Iteration Networks AAAI 2020 Uncertainty-Aware Constraint Learning for Adaptive Safe Motion Planning from Demonstrations CoRL 2020 Unearthing inter-job dependencies for better cluster scheduling OSDI 2020 Universal Value Iteration Networks: When Spatially-Invariant Is Not Universal AAAI 2020 Untangling Dense Knots by Learning Task-Relevant Keypoints CoRL 2020 VecRoad: Point-Based Iterative Graph Exploration for Road Graphs Extraction CVPR 2020 Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints IJCAI 2020 Visual Grounding of Learned Physical Models ICML 2020 Visually-Grounded Planning without Vision: Language Models Infer Detailed Plans from High-level Instructions EMNLP 2020