Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Browse the full TACAS paper archive.