Presentations and Authors

Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

Main Technical Track

Validation of Hierarchical Plans via Parsing of Attribute Grammars PDF
Roman Bartak, Adrien Maillard, Rafael Cauê Cardoso
Finite LTL Synthesis as Planning PDF
Alberto Camacho, Jorge A. Baier, Christian Muise, Sheila A. McIlraith
Temporal Planning while the Clock Ticks PDF
Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml
Sensor Synthesis for POMDPs with Reachability Objectives PDF
Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu
Algorithms and Conditional Lower Bounds for Planning Problems PDF
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil
Adding Heuristics to Conflict-Based Search for Multi-Agent Path Finding PDF
Ariel Felner, Jiaoyang Li, Eli Boyarski, Hang Ma, Liron Cohen, T. K. Satish Kumar, Sven Koenig
Integrating Resource Management and Timeline-Based Planning PDF
Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini

Novel Applications Track

Embedding a Scheduler in Execution for a Planetary Rover PDF
Wayne Chi, Steve Chien, Jagriti Agrawal, Gregg Rabideau, Edward Benowitz, Daniel Gaines, Elyse Fosse, Stephen Kuhn, James Biehl
A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing PDF
Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Bouissière, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Marc Lelay

Operations Research Track

Compiling Optimal Numeric Planning to Mixed Integer Linear Programming PDF
Chiara Piacentini, Margarita P. Castro, Andre A. Cire, J. Christopher Beck

Robotics Track

Monte-Carlo Planning for Agile Legged Locomotion PDF
Patrick Clary, Pedro Morais, Alan Fern, Jonathan Hurst
Handling Model Uncertainty and Multiplicity in Explanations via Model Reconciliation PDF
Sarath Sreedharan, Tathagata Chakraborti, Subbarao Kambhampati
The Factored Shortest Path Problem and Its Applications in Robotics PDF
Zhi Wang, Liron Cohen, Sven Koenig, T. K. Satish Kumar