Workshop on Automated Synthesis

29-30 July 2021, online

affiliated with ESSLLI 2021

The workshop aims to bring together work on using logic, games and automata for automatically generating plans and strategies for AI agents, especially under uncertainty and resource constraints. Topics include, but are not limited to: reactive synthesis, behaviour and service composition, strategy synthesis under resource constraints, epistemic planning.
The workshop will consist of a mixture of invited talks introducing topics in the area of the workshop and contributed talks.

Recordings of the talks are available for registered ESSLLI participants here . If you have not received the passcode from the ESSLLI organisers or lost it, contact Natasha Alechina (email below). The recordings will be available until the 30th of September 2021.

Invited speakers

Programme 29 July (all times CEST)

9:45-10:00 introduction
10:00 - 11:00 invited talk Giuseppe De Giacomo, Reactive Synthesis, Planning and Reinforcement Learning in Linear Temporal Logic on Finite Traces slides of the talk
11:00 - 11:30 coffee break
11:30 - 12:00 Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta, Reactive Synthesis from Extended Bounded Response LTL Specifications paper
12:00 - 12:30 Vedran Kasalica, Natasha Alechina, Anna-Lena Lamprecht and Brian Logan, Workflow Synthesis Based on Instance-Aware Temporal Specification paper
12:30 - 14:30 lunch break
14:30 - 15:00 Dylan Bellier, Massimo Benerecetti, Dario Della Monica and Fabio Mogavero, Good-for-Game QPTL: An Alternating Hodges Semantics paper
15:00 - 15:30 Rodica Condurache, Catalin Dima, Youssouf Oualhadj and Nicolas Troquard, Rational Synthesis in the Commons with Careless and Careful Agents paper
15:30 - 16:00 coffee break
16:00 - 17:00 invited talk Sheila McIlraith, Formal Languages and Automata for Reward Function Specification and Efficient Reinforcement Learning abstract ; slides

Programme 30 July (all times CEST)

10:00 - 11:00 invited talk Sophie Pinchinat, Synthesis in infinite structures slides
11:00 - 11:30 coffee break
11:30 - 12:00 Priyanka Golia, Subhajit Roy and Kuldeep S. Meel, Manthan: A Data-Driven Approach for Boolean Function Synthesis paper
12:00 - 14:30 lunch break
14:30 - 15:00 Sophie Pinchinat and Côme Neyrand, On the Role of Postconditions in Dynamic First-Order Epistemic Logic paper
15:00 - 15:30 Gaia Belardinelli and Rasmus K. Rendsvig, Epistemic Planning with Attention as a Bounded Resource paper
15:30 - 16:00 coffee break
16:00 - 17:00 invited talk Orna Kupferman, Rational synthesis slides
17:00 - 17:30 closing discussion

Organisers: Natasha Alechina and Brian Logan, PC Co-Chair: Giuseppe De Giacomo
Contact: n.a.alechina@uu.nl

Last updated 1 August 2021