Search

Results 1-3 of 3
Publication DateTitleAuthor(s)
31-Dec-2008Falsifying safety properties through games on over-approximating models\r\nHuth, M; Charlton, N
2-Jan-2009Polynomial-Time Under-Approximation of Winning Regions in Parity GamesAntonik, A; Charlton, N; Huth, M
30-Apr-2007Cleanly combining specialised program analysersCharlton, N; Huth, M
  • previous
  • 1
  • next