https://actsynt.github.io/
Highlights of Reasoning about Actions, Planning and Reactive Synthesis | ActSynt@ECAI2024
Held as part of ECAI 2024, 19 October, 2024, Santiago de Compostela, Spain
about actionsreactive synthesishighlightsreasoning
https://deepai.org/publication/reactive-synthesis-from-extended-bounded-response-ltl-specifications
Reactive Synthesis from Extended Bounded Response LTL Specifications | DeepAI
Aug 12, 2020 - 08/12/20 - Reactive synthesis is a key technique for the design of correct-by-construction systems and has been thoroughly investigated in th...
reactive synthesisextendedboundedresponseltl
https://burton.web.ox.ac.uk/
Home | Methodology | Synthesis | Reactive Intermediates
methodologysynthesisreactiveintermediates
https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/23391
Dagstuhl Seminar 23391: The Futures of Reactive Synthesis
dagstuhl seminarfuturesreactivesynthesis