Live Synthesis.

Bernd Finkbeiner, Felix Klein, Niklas Metzger

Browse the full ATVA paper archive.