Search

Results 1-4 of 4
Publication DateTitleAuthor(s)
1-Sep-2009On the complexity of semantic self-minimizationAntonik, A; Huth, M
2-Jan-2009Polynomial-Time Under-Approximation of Winning Regions in Parity GamesAntonik, A; Charlton, N; Huth, M
31-Aug-2008EXPTIME-complete Decision Problems for Mixed and Modal SpecificationsAntonik, A; Huth, M; Larsen, K; Nyman, U; Wasowski, A
30-Jun-200820 Years of Mixed and Modal SpecificationsAntonik, A; Huth, M; Larsen, K; Nyman, U; Wasowski, A
  • previous
  • 1
  • next