Dataset - CKAN

The surprizing complexity of generalized reachability games

Games on graphs provide a natural and powerful model for reactive systems. In this paper, we consider generalized reachability objectives, defined as conjunctions of...
- HTML

You can also access this registry using the API (see API Docs).