Search

Search Results

• Search Portfolio with Sharing

  Sandip Aine, Maxim Likhachev

  11-19

  2016-03-30

• Dual Formulations for Optimizing Dec-POMDP Controllers

  Akshat Kumar, Hala Mostafa, Shlomo Zilberstein

  202-210

  2016-03-30

• Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages

  Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo

  158-165

  2016-03-30

• Potential Heuristics for Multi-Agent Planning

  Michal Štolba, Daniel Fišer, Antonín Komenda

  308-316

  2016-03-30

• Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times

  Luke Hunsberger, Roberto Posenato

  175-183

  2016-03-30

• A Compilation of the Full PDDL+ Language into SMT

  Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni

  79-87

  2016-03-30

• Change the Plan — How Hard Can That Be?

  Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo

  38-46

  2016-03-30

• Stronger Privacy Preserving Projections for Multi-Agent Planning

  Shlomi Maliah, Guy Shani, Roni Stern

  221-229

  2016-03-30

• Efficient Representation of Pattern Databases Using Acyclic Random Hypergraphs

  Mehdi Sadeqi, Howard Hamilton

  258-266

  2016-03-30

• Practical Undoability Checking via Contingent Planning

  Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber

  106-114

  2016-03-30

• Hierarchical Linearly-Solvable Markov Decision Problems

  Anders Jonsson, Vicenç Gómez

  193-201

  2016-03-30

• Recursive Polynomial Reductions for Classical Planning

  Jan Tozicka, Jan Jakubuv, Martin Svatos, Antonin Komenda

  317-325

  2016-03-30

• Placement of Loading Stations for Electric Vehicles: Allowing Small Detours

  Stefan Funke, Andre Nusser, Sabine Storandt

  131-139

  2016-03-30

• Automated Creation of Efficient Work Distribution Functions for Parallel Best-First Search

  Yuu Jinnai, Alex Fukunaga

  184-192

  2016-03-30

• Learning Relational Dynamics of Stochastic Domains for Planning

  David Martínez, Guillem Alenyà, Carme Torras, Tony Ribeiro, Katsumi Inoue

  235-243

  2016-03-30

• OGA-UCT: On-the-Go Abstractions in UCT

  Ankit Anand, Ritesh Noothigattu, Mausam ., Parag Singla

  29-37

  2016-03-30

• Strict Theta*: Shorter Motion Path Planning Using Taut Paths

  Shunhao Oh, Hon Wai Leong

  253-257

  2016-03-30

• Online Algorithms for the Linear Tape Scheduling Problem

  Carlos Cardonha, Lucas Villa Real

  70-78

  2016-03-30

• Abstractions for Planning with State-Dependent Action Costs

  Florian Geißer, Thomas Keller, Robert Mattmüller

  140-148

  2016-03-30

• Online Macro Generation for Privacy Preserving Planning

  Shlomi Maliah, Guy Shani, Ronen Brafman

  216-220

  2016-03-30

• Revisiting Goal Probability Analysis in Probabilistic Planning

  Marcel Steinmetz, Joerg Hoffmann, Olivier Buffet

  299-307

  2016-03-30

• The Mathematics of Dispatchability Revisited

  Paul Morris

  244-252

  2016-03-30

• A Multi-Parameter Complexity Analysis of Cost-Optimal and Net-Benefit Planning

  Meysam Aghighi, Christer Backstrom

  2-10

  2016-03-30

• Indefinite-Horizon Reachability in Goal-DEC-POMDPs

  Krishnendu Chatterjee, Martin Chmelík

  88-96

  2016-03-30

• Multi-Agent Sensor Data Collection with Attrition Risk

  Jeffrey Hudack, Jae Oh

  166-174

  2016-03-30