Papers
Interactive Robot Transition Repair With SMT
Jarrett Holtz, Arjun Guha, Joydeep Biswas
Implicit Non-linear Similarity Scoring for Recognizing Unseen Classes
Yuchen Guo, Guiguang Ding, Jungong Han et al.
Bayesian Active Edge Evaluation on Expensive Graphs
Sanjiban Choudhury, Siddhartha Srinivasa, Sebastian Scherer
Learning Transferable UAV for Forest Visual Perception
Lyujie Chen, Wufan Wang, Jihong Zhu
GraspNet: An Efficient Convolutional Neural Network for Real-time Grasp Detection for Low-powered Devices
Umar Asif, Jianbin Tang, Stefan Harrer
Minimax-Regret Querying on Side Effects for Safe Optimality in Factored Markov Decision Processes
Shun Zhang, Edmund H. Durfee, Satinder Singh
PEORL: Integrating Symbolic Planning and Hierarchical Reinforcement Learning for Robust Decision-Making
Fangkai Yang, Daoming Lyu, Bo Liu et al.
Admissible Abstractions for Near-optimal Task and Motion Planning
William Vega-Brown, Nicholas Roy
LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning
Marcel Steinmetz, Joerg Hoffmann
Hierarchical Expertise Level Modeling for User Specific Contrastive Explanations
Sarath Sreedharan, Siddharth Srivastava, Subbarao Kambhampati
Dynamic Resource Routing using Real-Time Dynamic Programming
Sebastian Schmoll, Matthias Schubert
Counterplanning using Goal Recognition and Landmarks
Alberto Pozanco, Yolanda E-Martín, Susana Fernández et al.
Scalable Initial State Interdiction for Factored MDPs
Swetasudha Panda, Yevgeniy Vorobeychik
Organizing Experience: a Deeper Look at Replay Mechanisms for Sample-Based Planning in Continuous State Domains
Yangchen Pan, Muhammad Zaheer, Adam White et al.
Effect-Abstraction Based Relaxation for Linear Numeric Planning
Dongxu Li, Enrico Scala, Patrik Haslum et al.
Small Undecidable Problems in Epistemic Planning
Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
Learning to Infer Final Plans in Human Team Planning
Joseph Kim, Matthew E. Woicik, Matthew C. Gombolay et al.
Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs
Karel Horák, Branislav Bošanský, Krishnendu Chatterjee
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems
Chen Fu, Andrea Turrini, Xiaowei Huang et al.
Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search
Maximilian Fickert, Daniel Gnad, Joerg Hoffmann
Traffic Light Scheduling, Value of Time, and Incentives
Argyrios Deligkas, Erez Karpas, Ron Lavi et al.
Complexity of Scheduling Charging in the Smart Grid
Mathijs de Weerdt, Michael Albert, Vincent Conitzer et al.
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals
Giuseppe De Giacomo, Sasha Rubin