• DOI:10.4204/EPTCS.84.1
Corpus ID: 14415410

Sparse Positional Strategies for Safety Games

@inproceedings{Ehlers2012SparsePS,
  title={Sparse Positional Strategies for Safety Games},
  author={R. Ehlers and Daniela Moldovan},
  booktitle={SYNT},
  year={2012}
}

R. Ehlers, Daniela Moldovan

Published in SYNT 2012

Computer Science

We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a system with its environment explicit. Often, a winning strategy for one of the players is used as a certificate or as an artefact for further processing in the application. Small such certificates, i.e., strategies that can be written down very compactly, are typically preferred. For safety games, we only need to… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed