Generalization in Planning

S1 - 2:00pm - 4:10pm

• Workshop opening (5 min)

• Plenary talk: Sylvie Thiébaux (45 min) & Q/A (5 min)

• Highlights talk: Aviv Tamar (20 min) & Q/A (5 min) [slides]

• Spotlight talks session A (25 min, 6 presentations @3-4min each):

  1. Jun Hao Alvin Ng and Ronald P. A. Petrick. Generalised Linear Function Approximation with First-Order Features.

  2. Angeline Aguinaldo and William Regli. Encoding Compositionality in Classical Planning Solutions.

  3. Blai Bonet and Hector Geffner. General Policies, Representations, and Planning Width.

  4. Dominik Drexler, Jendrik Seipp and Hector Geffner. Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches.

  5. Giuseppe De Giacomo, David Ghedallia, Donatella Firmani, Francesco Leotta, Federica Mandreoli and Massimo Mecella. IoT-based Digital Twins Orchestration via Automated Planning for Smart Manufacturing.

  6. Rushang Karia and Siddharth Srivastava. Empirical Analysis of Abstractions for Learning Generalized Heuristic Networks.

• Poster session A (25 min)

Break - 4:10pm - 4:25pm

S2 - 4:25pm - 6:00pm

• Highlights talk: Armando Solar-Lezama (20 min) & Q/A (5 min) [slides]

• Highlights talk: Georgios Fainekos (20 min) & Q/A (5 min) [slides]

• Spotlight talks session B (20 min, 5 presentations @3-4min each):

  1. Lorenzo Steccanella, Simone Totaro and Anders Jonsson. Hierarchical Representation Learning for Markov Decision Processes.

  2. Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Vardi and Shufang Zhu. Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.

  3. Stanislav Sitanskiy, Laura Sebastia and Eva Onaindia. Learning Behaviour Based on Automated Feature Extraction.

  4. Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama and Martin Rinard. Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.

  5. Pulkit Verma and Siddharth Srivastava. Learning Causal Models of Autonomous Agents using Interventions.

• Poster session B (25 min)

Break - 6:00pm - 6:15pm

S3 - 6:15pm - 8:00pm

• Plenary talk: Roni Khardon (45 min) & Q/A (5 min) [slides]

• Highlights talk: Luc de Raedt (20 min) & Q/A (5 min)

• Panel of Invited Speakers (30 min)