Complexity of Decision Problems for Mixed and Modal Specifications.

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Browse the full FOSSACS paper archive.