Automated synthesis of reliable and efficient systems through game theory: a case study

TitleAutomated synthesis of reliable and efficient systems through game theory: a case study
Publication TypeJournal Article
Year of Publication2012
AuthorsRandour, M
JournalCoRR
Volumeabs/1204.3283
URLhttp://arxiv.org/abs/1204.3283