Falsifying safety properties through games on over-approximating models
Nathaniel Charlton, Michael Huth
- Conference or Workshop Paper
- Second Workshop on Reachability Problems
- Electronic Notes in Theoretical Computer Science
- PDF of full publication (701 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Copyright notice
The PDF contains a preliminary version of the final version of this paper.
- Conditions for downloading publications from this site.