Explainable Reactive Synthesis.

Tom Baumeister, Bernd Finkbeiner, Hazem Torfah

Browse the full ATVA paper archive.