| 07:45-16:15 |
Registration |
| 08:30-08:40 |
| Room |
Hirsh Auditorium |
Large Room |
| 08:40-10:00 |
Session 1a: POMDP Planning - Sponsored by: 
(chair: Roni Khardon)
-
Akshat Kumar and Shlomo Zilberstein
History-Based Controller Design And Optimization For Partially Observable MDPs
-
Zongzhang Zhang, David Hsu, Wee Sun Lee, Zhan Wei Lim and Aijun Bai
PLEASE: Palm Leaf Search for POMDPs with Large Observation Spaces
-
Marek Grzes, Pascal Poupart, Xiao Yang, and Jesse Hoey
Energy Efficient Execution of POMDP Policies [JPT]
-
Ekhlas Sonu, Yingke Chen and Prashant Doshi
Individual Planning in Agent Populations: Exploiting Anonymity and Frame-Action Hypergraphs
|
Session 1b: Representation and Complexity
(chair: Christian Muise)
- Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli and Martin Wehrle
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior
- Ron Alford, Pascal Bercher and David Aha
Tight Bounds for HTN Planning
- Gregor Behnke, Daniel Höller and Susanne Biundo
On the Complexity of HTN Plan Verification and its Implications for Plan Recognition
- Malte Helmert, Gabriele Röger and Silvan Sievers
On the Expressive Power of Non-Linear Merge-and-Shrink Representations
|
| 10:00-10:30 |
Coffee Break
(Location: Hirsh Lobby)
|
| 10:30-11:30 |
ECCAI Invited Talk by Jörg Hoffman
Simulated Penetration Testing: From Dijkstra to Turing Test++
(Location: Hirsh Auditorium)
(chair: Patrik Haslum)
|
| 11:30-12:30 |
ISF Research Workshops: Posters & demos I
Demos
- Steve Chien, Gregg Rabideau, Daniel Tran, Joshua Doubleday,
Federico Nespoli, Miguel Perez Ayucar, Marc Costa Sitje, Claire Vallat,
Bernhard Geiger, Nico Altobelli, Manuel Fernandez, Fran Vallejo,
Rafael Andres, Michael Kueppers.
"Activity-based Scheduling of Science Campaigns for the Rosetta Orbiter"
[DEMO]
- Sarah Keren, Avigdor Gal, Ran Harari, Erez Karpas.
"PLAYGROUND – System Demo of Goal Recognition Design" [DEMO]
- Eric Timmons, Cheng Fang, Enrique Fernandez, Erez Karpas, Steven J. Levine,
Pedro Santana, Andrew Wang, David Wang, Peng Yu, Brian C. Williams.
"Reactive Model-based Programming of Micro-UAVs" [DEMO]
Posters
- Ekhlas Sonu
"Scalable Algorithms for Multiagent Sequential Decision Making" [DC]
- Pascal Bercher
"Hybrid Planning Theoretical Foundations and Practical Applications" [DC]
- Daniel Höller
"Plan Recognition as Hierarchical Planning" [DC]
- Michal Stolba
"Multiagent Planning by Distributed Heuristic Search" [DC]
- Salome Simon
"Logic-based Methods for Reasoning About Search in Classical Planning" [DC]
- Jindrich Vodrazka
"Planning domain for robot control" [DC]
- Surpriyo Ghosh
"Dynamic Redeployment to Counter Congestion or Starvation in Vehicle
Sharing Systems" [DC]
- Tathagata Chakraborti
"Synergy in Human-Robot Cohabitation" [DC]
- Tansel Uras
"Speeding-up Any-Angle Path-Planning on Grids" [DC]
- Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli and Martin Wehrle.
"PDDL+ Planning with Hybrid Automata: Foundations of Translating Must
Behavior"
- Michal Štolba, Daniel Fišer and Antonín Komenda.
"Admissible Landmark Heuristic for Multi-Agent Planning"
- Zongzhang Zhang, David Hsu, Wee Sun Lee, Zhan Wei Lim and Aijun Bai.
"PLEASE: Palm Leaf Search for POMDPs with Large Observation Spaces"
- Dylan O'Ceallaigh and Wheeler Ruml.
"Metareasoning for Concurrent Planning and Execution" [PlanRob]
- Tim Niemueller, Gerhard Lakemeyer and Alexander Ferrein.
"The RoboCup Logistics League as a Benchmark for Planning in Robotics"
[PlanRob]
- Mark Roberts, Swaroop Vattam, Ron Alford, Bryan Auslander, Tom Apker,
Benjamin Johnson and David Aha.
"Goal Reasoning to Coordinate Robotic Teams for Disaster Relief" [PlanRob]
- Ty Nguyen and Tsz-Chiu Au.
"Motion Planning for Arrival Time and Velocity Requirements on
Non
- homogeneous Terrains" [PlanRob]
- Breelyn Kane Styler and Reid Simmons.
"Robust Efficient Robot Planning through Varying Model Fidelity" [PlanRob]
- Pablo Muñoz, Amedeo Cesta, AndreA Orlandini and Maria D. R-Moreno.
"A Framework for Performance Assessment of Autonomous Robotic Controllers"
[PlanRob]
-
Tathagata Chakraborti, Tony Zhang, David Smith and Subbarao Kambhampati.
"Planning with Stochastic Resource Profiles: An Application to Human-Robot Co-habitation"[PlanRob]
-
Tathagata Chakraborti, Gordon Briggs, Kartik Talamadupula, Matthias Scheutz, David Smith and Subbarao Kambhampati.
"Planning for Serendipity - Altruism in Human-Robot Cohabitation"[PlanRob]
- Lukas Chrpa and Kristinn R. Thorisson.
"On Applicability of Automated Planning for Incident Management" [SPARK]
- Gregg Rabideau, Federico Nespoli and Steve Chien.
"Heuristic Scheduling of Space Mission Downlinks: A Case study from
the Rosetta Mission" [SPARK]
- Andrea Micheli, Minh Do and David Smith.
"Compiling Away Uncertainty in Strong Temporal Planning with
Uncontrollable Durations" [SPARK]
- Dimitri Bouche and Jean Bresson
"Planning and Scheduling Actions in a Computer-Aided Music Composition
System" [SPARK]
- Konstantinos Agnantis and Ioannis Refanidis.
"COURSR: Scheduling Composite Educational Objects" [SPARK]
|
| 12:30-14:00 |
Lunch Break
|
| Room |
Hirsh Auditorium |
Large Room |
| 14:00-15:25 |
Session 2a: Classical Planning - Sponsored by:
(chair: Gabriele Röger)
- Toby O. Davies, Adrian R. Pearce, Peter Stuckey and Nir Lipovetzky
Sequencing Operator Counts [AWARD TALK]
- Masataro Asai and Alex Fukunaga
Solving Large Scale Planning Problems By Decomposition and Macro Generation
-
Vidal Alcázar and Álvaro Torralba
A Reminder about the Importance of Computing and Exploiting Invariants in Planning
-
Florian Pommerening and Malte Helmert
A Normal Form for Classical Planning Tasks
|
Session 2b: Robotics I [Starts at 14:20] - Sponsored by:
(chair: Erez Karpas)
- David Abel, D. Ellis Hershkowitz, Gabriel Barth-Maron, Stephen Brawner, Kevin O'Farrell, James MacGlashan and Stefanie Tellex
Affordances as Goal-Based Action Priors [ROB]
- Giuseppe Bevacqua, Jonathan Cacace, Alberto Finzi and Vincenzo Lippiello
Mixed-Initiative Planning and Execution for Multiple Drones in Search and Rescue Missions [ROB]
- Michal Čáp, Jiří Vokřínek and Alexander Kleiner
Complete Decentralized Method for On-Line Multi-Robot Trajectory Planning in Valid Infrastructures [ROB]
|
| 15:25-16:00 |
Coffee Break
(Location: Hirsh Lobby) |
| Room |
Hirsh Auditorium |
Large Room |
| 16:00-17:00 |
Session 3a: Applications I
(chair: Eva Onaindia)
- Alexandre Albore, Nathalie Peyrard, Régis Sabbadin and Florent Teichteil-Königsbuch
An Online Replanning Approach for Crop Fields Mapping with Autonomous UAVs [APP]
- Adrien Maillard, Cédric Pralet, Jean Jaubert, Isabelle Sebbag, Frédéric Fontanari and Julien L'Hermitte
Ground and Onboard Decision-Making on Satellite Data Downloads [APP]
- David A. Surovik and Daniel J. Scheeres
Heuristic Search and Receding-Horizon Planning in Complex Spacecraft Orbit Domains [APP]
|
Session 3b: Scheduling [Ends at 16:40]
(chair: Chris Beck)
- Alexander J. Benavides and Marcus Ritt
Iterated Local Search Heuristics for Minimizing Total Completion Time in Permutation and Non-Permutation Flow Shops
- Raúl Mencía, María R Sierra, Carlos Mencía and Ramiro Varela
Schedule Generation Schemes and Genetic Algorithm for the Scheduling Problem with Skilled Operators and Arbitrary Precedence Relations
|
| 18:00-20:00 |
Walking Tour of Jerusalem
(Meeting Point: Jaffa Gate)
|
| 07:45-16:15 |
Registration |
| Room |
Hirsh Auditorium |
Large Room |
| 08:40-10:00 |
Session 1a: Conformant & Probabilistic Planning
(chair: Jörg Hoffman)
-
Christoph Dann, Gerhard Neumann, and Jan Peters
Policy Evaluation with Temporal Differences: A Survey and Comparison [JPT]
-
Zohar Feldman and Carmel Domshlak
Simple Regret Optimization in Online Planning for Markov Decision Processes [JPT]
-
Murugeswari Issakkimuthu, Alan Fern, Roni Khardon, Prasad Tadepalli and Shan Xue
Hindsight Optimization for Probabilistic Planning with Factored Actions
-
Ran Taig and Ronen I. Brafman
A Compilation-Based Approach to Conformant Probabilistic Planning with Stochastic Actions
|
Session 1b: Temporal Planning and Reasoning
(chair: David Smith)
-
Sergio Jiménez, Anders Jonsson and Héctor Palacios
Temporal Planning With Required Concurrency Using Classical Planning
-
Erez Karpas, David Wang, Brian C. Williams and Patrik Haslum
Temporal Landmarks: What Must Happen, and When
-
Simon Mountakis, Tomas Klos and Cees Witteveen
Temporal Flexibility Revisited: Maximizing Flexibility by Computing Bipartite Matchings
-
Jing Cui, Peng Yu, Cheng Fang, Patrik Haslum and Brian C. Williams
Optimising Bounds in Simple Temporal Networks with Uncertainty under Dynamic Controllability Constraints
|
| 10:00-10:30 |
Coffee Break
(Location: Hirsh Lobby) |
| 10:30-11:30 |
Invited Talk by Joelle Pineau
Improving the design and discovery of dynamic treatment strategies using recent results in sequential decision-making
(Location: Hirsh Auditorium)
(chair: Reid Simmons)
|
| 11:30-12:30 |
ISF Research Workshops: Posters & demos II
Demos
- Dero Gharibian, Russell Knight, Steve Schaffer, David R. Thompson,
Brian Bue, Steve Chien, Andrew Sacco, Angela D’Orazio, J. Daniel Newman.
"Onboard Re-scheduling Prototype for an Earth Observing Spacecraft" [DEMO]
- Michelle L. Blom, Christina, N. Burt, Nir Lipovetzky, Adrian R. Pearce,
Peter J. Stuckey.
"Scheduling Tools for Open-Pit Mining Operations" [DEMO]
- Gábor Erdõs, Csaba Kardos, Zsolt Kemény, András Kovács, József Váncza.
"Planning and off-line robot programming system for remote laser welding"
[DEMO]
Posters
- Gregor Behnke
"Planning for the User is Planning with the User" [DC]
- Joan Espasa Arxer
"SAT/SMT techniques for planning problems" [DC]
- Marek Vlk
"Replanning in Predictive-reactive Scheduling" [DC]
- Youngjun Kim
"Multi-Agent Planning under Uncertainty with Rare Catastrophic Events" [DC]
- Toby Davies
"Global Optimisation Techniques for Multi-Agent Planning" [DC]
- Zouhair Mahboubi
"Autonomous Air Traffic Control for Non-Towered Airports" [DC]
- Jing Cui
"Models of Robustness for Temporal Planning and Scheduling with Dynamic
Controllability" [DC]
- Roi Yehoshua
"Robotic Adversarial Coverage" [DC]
- Otakar Trunda
"Alternative Approaches to Planning" [DC]
- Michal Cap
"Algorithms for Multi-Robot Trajectory Planning in Valid
Infrastructures" [DC]
- Christoph Dann
"Policy Evaluation with Temporal Differences: A Survey and Comparison"
[DC]
- Alexandre Albore, Nathalie Peyrard, Régis Sabbadin and
Florent Teichteil-Königsbuch.
"An Online Replanning Approach for Crop Fields Mapping with Autonomous UAVs"
- Eli Boyarski, Ariel Felner, Guni Sharon and Roni Stern.
"Don't Split, Try To Work It Out: Bypassing Conflicts in Multi-Agent
Pathfinding"
- Murugeswari Issakkimuthu, Alan Fern, Roni Khardon, Prasad Tadepalli and
Shan Xue.
"Hindsight Optimization for Probabilistic Planning with Factored Actions"
- Filippos Kominis and Hector Geffner.
"Beliefs in Multiagent Planning: From One Agent to Many"
- Steve Chien. "Heuristic Onboard Re-scheduling for an Earth Observing Spacecraft" [SPARK]
- Christian Muise, Paolo Felli, Tim Miller, Adrian R. Pearce and Liz Sonenberg.
"Leveraging FOND Planning Technology to Solve Multi-Agent Planning Problems"
[DMAP]
- Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller,
Adrian Pearce and Liz Sonenberg.
"Planning Over Multi-Agent Epistemic States: A Classical Planning Approach
(Amended Version)" [DMAP]
- Guy Shani, Shlomi Maliah and Roni Stern.
"Privacy Preserving Pattern Databases" [DMAP]
- Thorsten Engesser, Thomas Bolander, Robert Mattmüller and Bernhard Nebel.
"Cooperative Epistemic Multi-Agent Planning With Implicit Coordination"
[DMAP]
- Josef Hájíček and Antonín Komenda.
"Narrative Planning Agents Under a Cognitive Hierarchy" [DMAP]
- Nicolas Le Guillarme, Abdel-Illah Mouaddib, Xavier Lerouvreur and
Sylvain Gatepaille.
"A Generative Game-Theoretic Framework for Adversarial Plan Recognition"
[DMAP]
- Marek Grzes, Pascal Poupart, Xiao Yang, and Jesse Hoey.
"Energy Efficient Execution of POMDP Policies" [JPT]
- Michal Štolba, Antonín Komenda, and Daniel Kovacs.
"Competition of Distributed and Multiagent Planners" [WIPC]
|
| 12:30-14:00 |
Lunch Break
|
| Room |
Hirsh Auditorium |
Large Room |
| 14:00-15:25 |
Session 2a: Applications ||
(chair: Scott Sanner)
Haibo Wang, Hanna Kurniawati, Surya Singh and Mandyam Srinivasan
In-silico Behavior Discovery System: An Application of Planning in Ethology [APP, AWARD TALK]
-
Anton Riabov, Shirin Sohrabi, Daby Sow, Deepak Turaga, Octavian Udrea and Long Vu
Planning-Based Reasoning for Automated Large-Scale Data Analysis [APP]
-
Adi Botea and Stefano Braghin
Contingent versus Deterministic Plans in Multi-Modal Journey Planning [APP]
Supriyo Ghosh, Pradeep Varakantham, Yossiri Adulyasak and Patrick Jaillet
Dynamic Redeployment to Counter Congestion or Starvation in Vehicle Sharing Systems
|
Session 2b: Robotics II [Starts at 14:20] - Sponsored by:
(chair: AndreA Orlandini)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Nátàlia Hurtós and Marc Carreras
ROSPlan: Planning in the Robot Operating System [ROB]
-
Erez Karpas, Steven J. Levine, Peng Yu and Brian C. Williams
Robust Execution of Plans for Human-Robot Teams [ROB]
-
Vera Mersheeva and Gerhard Friedrich
Multi-UAV Monitoring with Priorities and Limited Energy Resources [ROB]
|
| 15:25-16:00 |
Coffee Break
(Location: Hirsh Lobby) |
| 16:00-17:15 |
| 17:15-18:00 |
ICAPS Distinguished Dissertation Award Talks
(Location: Hirsh Auditorium)
|
| 19:30-22:00 |
Banquet
(Location: Beit Shmuel)
|
| 07:45-16:15 |
Registration |
| Room |
Hirsh Auditorium |
Large Room |
| 08:40-10:00 |
Session 1a: Multi-Agent Planning
(chair: Sven Koenig)
-
Filippos Kominis and Hector Geffner
Beliefs in Multiagent Planning: From One Agent to Many
-
Raz Nissim and Ronen Brafman
.
Distributed Heuristic Forward Search for Multi-Agent Planning. [JPT]
-
Michal Štolba, Daniel Fišer and Antonín Komenda
Admissible Landmark Heuristic for Multi-Agent Planning
-
Alejandro Torreño, Óscar Sapena and Eva Onaindia
Global Heuristics for Distributed Cooperative Multi-Agent Planning
|
Session 1b: Heuristics for Classical Planning
(chair: Nir Lipovetzky)
-
Daniel Gnad and Jörg Hoffmann
Beating LM-cut with hmax (Sometimes): Fork-Decoupled State Space Search
-
Jörg Hoffmann and Maximilian Fickert
Explicit Conjunctions without Compilation: Computing hFF(ΠC) in Polynomial Time
-
Guillem Francès and Hector Geffner
Modeling and Computation in Planning: Better Heuristics from More Expressive Languages
-
Mauro Vallati, Ivan Serina, Alessandro Saetti and Alfonso E. Gerevini
Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning
|
| 10:00-10:30 |
Coffee Break
(Location: Hirsh Lobby) |
| Room |
Hirsh Auditorium |
Large Room |
| 10:30-11:30 |
Session 2a: Path-finding
(chair: Ioannis Refanidis)
-
Eli Boyarski, Ariel Felner, Guni Sharon and Roni Stern
Don't Split, Try To Work It Out: Bypassing Conflicts in Multi-Agent Pathfinding
-
Tansel Uras and Sven Koenig
Speeding-up Any-Angle Path-Planning on Grids
-
Doron Nussbaum and Alper Yörükçü
Moving Target Search with Subgoal Graphs
|
Session 2b: Model Learning
(chair: Daniel Borrajo)
-
Peter Gregory and Stephen Cresswell
Domain Model Acquisition in the Presence of Static Relations in the LOP System
-
Lars Kunze and Michael Beetz
Envisioning the Qualitative Effects of Robot Manipulation Actions Using Simulation-Based Projections [JPT]
-
Matthias Nickles and Achim Rettinger
Interactive Relational Reinforcement Learning of Concept Semantics [JPT]
|
| 11:30-12:30 |
ISF Research Workshops: Posters III
- Miquel Bofill, Joan Espasa Arxer and Mateu Villaret.
"The RANTANPLAN planner: System description" [COPLAS]
- Bryan O’gorman, Eleanor Rieffel, Minh Do and Davide Venturelli.
"Compiling planning into quantum optimization problems: a comparative
study" [COPLAS]
- Andre Cire, Elvin Coban and John Hooker
"Logic-based Benders Decomposition for Planning and Scheduling:
A Computational Analysis" [COPLAS]
- Roman Barták and Jan Jelínek
"A Constraint-based Optimizer for Scheduling Solar Array Operations on
the International Space Station" [COPLAS]
- Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder,
Arnau Carrera, Narcís Palomeras, Nátàlia Hurtós and Marc Carreras.
"ROSPlan: Planning in the Robot Operating System"
- Toby O. Davies, Adrian R. Pearce, Peter Stuckey and Nir Lipovetzky.
"Sequencing Operator Counts"
- Supriyo Ghosh, Pradeep Varakantham, Yossiri Adulyasak and Patrick Jaillet.
"Dynamic Redeployment to Counter Congestion or Starvation in Vehicle
Sharing Systems"
- Anton Riabov, Shirin Sohrabi, Daby Sow, Deepak Turaga, Octavian Udrea and
Long Vu.
"Planning-Based Reasoning for Automated Large-Scale Data Analysis"
- David A. Surovik and Daniel J. Scheeres.
"Heuristic Search and Receding-Horizon Planning in Complex Spacecraft
Orbit Domains"
- Alejandro Torreño, Óscar Sapena and Eva Onaindia.
"Global Heuristics for Distributed Cooperative Multi-Agent Planning"
- Ron Alford, Pascal Bercher and David Aha.
"Tight Bounds for HTN Planning with Task Insertion" [HSDIP]
- Johannes Aldinger, Robert Mattmüller and Moritz Göbelbecker.
"Complexity Issues of Interval Relaxed Numeric Planning" [HSDIP]
- Alberto Camacho, Christian Muise, Akshay Ganeshen and Sheila McIlraith.
"From FOND to Probabilistic Planning: Guiding search for quality policies"
[HSDIP]
- Yolanda E-Martín, Maria D. R-Moreno and David Smith.
"A Heuristic Estimator based on Cost Interaction" [HSDIP]
- Daniel Gnad and Joerg Hoffmann.
"Red-Black Planning: A New Tractability Analysis and Heuristic Function"
[HSDIP]
- Daniel Gnad, Joerg Hoffmann and Carmel Domshlak.
"From Fork Decoupling to Star-Topology Decoupling" [HSDIP]
- Sarah Keren, Avigdor Gal and Erez Karpas
"Goal Recognition Design With Non-Observable Actions" [HSDIP]
- Nir Lipovetzky, Miguel Ramírez and Hector Geffner.
"Classical Planning with Simulators: Results on the Atari Video Games"
[HSDIP]
- Patricia Riddle, Mike Barley and Santiago Franco.
"Bagged Representations in PDDL" [HSDIP]
- Álvaro Torralba and Joerg Hoffmann.
"Simulation-Based Admissible Dominance Pruning" [HSDIP]
- Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni and
Fabio Mercorio.
"UPMurphi Released: PDDL+ Planning for Hybrid Systems" [MOCHAP]
- Dragan Bosnacki.
"On Combining Symmetry with Partial Oreder Reduction" [MOCHAP]
- Eleni Triantafillou, Jorge Baier and Sheila McIlraith.
"A Unifying Framework for Planning with LTL and Regular Expressions"
[MOCHAP]
- Jorge Torres and Jorge Baier.
"Compiling Away LTL Planning Goals in Polynomial Time" [MOCHAP]
- Kamil Ciosek and David Silver.
"Value iteration with options and state aggregation" [PAL]
- David Toplin, Brooks Paige and Frank Wood.
"Path finding under uncertainty through probabilistic inference" [PAL]
- Anders Jonsson and Damir Lotinac.
"Automatic generation of HTNs from PDDL" [PAL]
|
| 12:30-14:00 |
Lunch Break
|
| 14:30-15:00 |
ICAPS\SOCS Invited Talk by Stuart Russell
Effective Decision Making
(Location: Hirsh Auditorium)
(chair: Shlomo Zilberstein)
|
| 15:00-15:30 |
Coffee Break
(Location: Hirsh Lobby) |
| 15:30-16:50 |
Session 3: ICAPS\SOCS Joint Session
(Location: Hirsh Auditorium)
(chair: Ariel Felner)
-
Jendrik Seipp, Florian Pommerening and Malte Helmert (ICAPS)
New Optimization Functions for Potential Heuristics
-
Fan Xie, Martin Müller and Robert Holte (ICAPS)
Understanding and Improving Local Exploration for GBFS
-
Alvaro Torralba and Peter Kissman (SOCS)
Focusing on What Really Matters: Irrelevance Pruning in Merge & Shrink
-
Dylan O'Ceallaigh and Wheeler Ruml (SOCS)
Meta-Reasoning in Real-Time Heuristic Search
|
| 16:50-17:00 |
Jerusalem, Israel