Rigorous Automated Planning

- This workshop is cancelled -

23 - 27 March 2020

Venue: Lorentz Center@Oort

If you are registered for this workshop, you have received login details by email.

A core issue within Artificial Intelligence (AI), Robotics, and Control is how a system optimizes its decisions with none or limited human intervention. For this to be effective, such computational systems need to plan ahead. Different research communities address automated planning from different perspectives - our aim is to highlight and synergize the views of the whole spectrum of traditional planning approaches from Artificial Intelligence domain-independent planning, to decision-making, to  motion planning, to control, and the views of formal verification and formal synthesis.

 

Domain-independent planning with so-called Planning Domain Definition Languages (PDDL) performs planning in a common and standardized language. AI decision-making, and in particular reinforcement learning (RL), targets to obtain plans that are adaptable and efficient under uncertainty regarding the environment or the system a plan is implemented in. Motion planning in robotics tackles the inherent high dimensionality of real-world problems. Control algorithms often operate on the low-level, that is, on the physical world. Finally, formal verification and formal synthesis subsumes research areas that provide rigorous method to provide hard guarantees on high- and low-level planning.

 

We observe that different approaches excel in achieving different subsets of the key desired features of planning: scalability, adaptivity, explainability, complexity, and guarantees. The goal of this seminar is to bring together the different communities that individually do not yet have solutions to accomplish all of these key features at once.

Read more...

    Monday March 23

    09:30 – 10:00     Arrival, registration

    10:00 – 10:15    Welcome and introduction by LC

    10:15 – 10:30     Opening

    11:10 – 12:00     Tutorial - AI Planning

     

    12:00 – 13:00    Lunch @Snellius restaurant

     

    13:00 – 13:30     Introduction and expectations sharing

    13:30 – 14:00     Highlight Talks: Area challenges

    14:00 – 15:00     Open Discussion, identification of breakout session topics

    15:00 – 15:30    Coffee, Tea

    15:30 – 16:00     Breakout Session

    16:00 – 17:00     Breakout Session Reflections

    17:00 –              Wine and cheese party

     

    The programme will be announced shortly.

    Tuesday March 24

    09:00 – 09:30     Open Discussion

    09:30 – 10:30     Tutorial – Formal methods-based planning

    10:30 – 11:00     Coffee, Tea

    11:10 – 12:00     Highlight Talks: State of the art and open problems

     

    12:00 – 13:00    Lunch @Snellius restaurant

     

    13:00 – 13:30     Open Discussion

    13:30 – 15:00     Breakout Session

    15:00 – 15:30    Coffee, Tea

    15:30 – 17:00     Breakout Session

    17:00 – 17:30     Breakout Session Reflections

    17:30 – 18:00     Highlight Talks: Junior researchers

     

    The programme will be announced shortly.

    Wednesday March 25

    09:00 – 09:30     Open Discussion

    09:30 – 10:30     Tutorial - Planning under uncertainty

    10:30 – 11:00     Coffee, Tea

    11:10 – 12:00     Highlight Talks: Blue sky ideas

     

    12:00 – 13:00    Lunch @Snellius restaurant

     

    13:00 – 13:30     Open Discussion

    13:30 – 15:00     Breakout Session

    15:00 – 15:30    Coffee, Tea

    15:30 – 17:00     Breakout Session

    17:00 – 17:30     Breakout Session Reflections

    17:30 – 17:30     Highlight Talks: Junior researchers

    17:30  - 18:00     Departure by bus

    18:00  - 21:30     Workshop Dinner Boat

     

     

    The programme will be announced shortly.

    Thursday March 26

    09:00 – 09:30     Open Discussion

    09:30 – 10:30     Tutorial - Planning in Robotics

    10:30 – 11:00     Coffee, Tea

    11:10 – 12:00     Panel Discussion

     

    12:00 – 13:00    Lunch @Snellius restaurant

     

    13:00 – 13:30     Open Discussion

    13:30 – 15:00     Breakout Session

    15:00 – 15:30    Coffee, Tea

    15:30 – 16:00     Breakout Session Reflections

    16:00 – 17:00     Discussion and Task Identification for Position Papers

    17:00 – 18:00     Team Work on Position Papers

     

    The programme will be announced shortly.

    Friday March 27

    09:00 – 09:30     Open Discussion

    09:30 – 10:30     Team Work on Position Papers

    10:30 – 11:00     Coffee, Tea

    11:10 – 12:00     Team Work on Position Papers

     

    12:00 – 13:00    Lunch @Snellius restaurant

     

    13:00 – 15:00     Open Discussion, lessons learned, summary, next steps

    15:00 – 15:30    Coffee, Tea

    15:30 – 16:00     Closing

     

    The programme will be announced shortly.
    Please log in to view the participants information...

    Jana Tumova, KTH Royal Institute of Technology  

    Ufuk Topcu, University of Texas at Austin  

    Matthijs Spaan, Delft University of Technology  

    Alessandro Abate, University of Oxford  

    Nils Jansen, ICIS  


Tanja Uitbeijerse

+31 71 527 5582

uitbeijerse@lorentzcenter.nl

Follow us on: