Accepted Papers
Planning and Scheduling
A Comprehensive Approach to On-Board Autonomy Verification and Validation
Marco Bozzano, Alessandro Cimatti, Marco Roveri and Andrei Tchaltsev
A System for providing Differentiated QoS in Retail Banking
Sameep Mehta
Bounded Intention Planning
Jason Wolfe and Stuart Russell
Computing Infinite Plans for LTL Goals Using a Classical Planner
Fabio Patrizi, Nir lipovetzky, Giuseppe De Giacomo and Hector Geffner
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstractions in Optimal Planning
Joerg Hoffmann, Raz Nissim and Malte Helmert
DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes
Jennifer Barry, Leslie Kaelbling and Tomas Lozano-Perez
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent
Miquel Ramirez and Hector Geffner
Iterative Flattening Search for the Flexible Job Shop Scheduling Problem
Angelo Oddi, Riccardo Rasconi, Amedeo Cesta and Stephen Smith
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling
Dario Pacino and Pascal Van Hentenryck
Monitoring the Execution of Partial Order Plans via Regression
Christian Muise, Sheila McIlraith and Chris Beck
On the Decidability of HTN Planning with Task Insertion
Thomas Geier and Pascal Bercher
On the Effectiveness of CNF and DNF Representations in Contingent Planning
Son To, Enrico Pontelli and Son Tran
Planning under Partial Observability by Classical Replanning: Theory and Experiments
Blai Bonet and Hector Geffner
Planning with SAT, Admissible Heuristics and A*
Jussi Rintanen
Point-Based Value Iteration for Constrained POMDPs
Dongho Kim, Jaesong Lee, Kee-Eung Kim and Pascal Poupart
Probabilistic Goal Markov Decision Processes
Huan Xu and Shie Mannor
Replanning in Domains with Partial Information and Sensing Actions
Guy Shani and Ronen Brafman
Risk-sensitive policies for (sustainable) renewable resource allocation
Stefano Ermon, carla gomes and Bart Selman
Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion
Matthijs Spaan, Frans Oliehoek and Christopher Amato
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems
Jicheng Fu, Vincent Ng, Farokh Bastani and I-Ling Yen
Transfer Learning for Activity Recognition
Derek Hao Hu