Program
Giuseppe De Giacomo Oxford University
KeynoteSerdar Tasiran AWS
Program
| 8:30-9:00 |
Breakfast |
| 9:00-10:00 |
Keynote Giuseppe De Giacomo, Oxford University |
| 10:00-10:30 |
Parameterized Infinite-State Reactive Synthesis Benedikt Maderbacher and Roderick Bloem |
| 10:30-11:00 |
Coffee break |
| 11:00-11:30 |
Program Synthesis And Non-monotonic Reasoning (Extended Abstract) Kedar Namjoshi |
| 11:30-12:00 |
Composing Reinforcement Learning Policies, with Formal Guarantees Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowe and Guillermo Perez |
| 12:00-14:00 |
Lunch (provided) |
| 14:00-15:00 |
Keynote Serdar Tasiran, AWS |
| 15:00-15:30 |
Towards a Standard Benchmark Format for Synthesis of Infinite-State Reactive Systems Philippe Heim and Rayna Dimitrova |
| 15:30-16:00 |
Coffee break |
| 16:00-16:30 |
Generating Implementations of Data Type Operations Anthony Hunt and Emil Sekerinski |
| 16:30-17:00 |
Synthesis of Safety Controllers with Plant Prophecies Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak and Anne-Kathrin Schmuck |
| 17:00-17:30 |
SYNTCOMP Results |