Here you can find the slides from the advanced lecture on Reactive Synthesis by Swen Jacobs and Martin Zimmermann.
A sharing platform for the Computer-Aided Verification community
Here you can find the slides from the advanced lecture on Reactive Synthesis by Swen Jacobs and Martin Zimmermann.