Bryant, R. E.Grumberg, O.Henzinger, T. A.Vardi, M. Y.2019-08-232019-08-232019-08-23200910.1007/s10703-009-0070-4https://infoscience.epfl.ch/handle/20.500.14299/160236text::journal::journal article::research article