External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synthesising Succinct Strategies in Safety and Reachability Games

Gilles Geeraerts, Joël Goossens, Amélie Stainer. Synthesising Succinct Strategies in Safety and Reachability Games. In Joël Ouaknine, Igor Potapov, James Worrell, editors, Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings. Volume 8762 of Lecture Notes in Computer Science, pages 98-111, Springer, 2014. [doi]

Authors

Gilles Geeraerts

This author has not been identified. Look up 'Gilles Geeraerts' in Google

Joël Goossens

This author has not been identified. Look up 'Joël Goossens' in Google

Amélie Stainer

This author has not been identified. Look up 'Amélie Stainer' in Google
runs on