Knor: reactive synthesis using Oink.

Tom van Dijk, Feije van Abbema, Naum Tomov

Browse the full TACAS paper archive.