The Complexity of LTL Rational Synthesis.

Orna Kupferman, Noam Shenwald

Browse the full TACAS paper archive.