Synthesis from LTL Specifications with Mean-Payoff Objectives

TitleSynthesis from LTL Specifications with Mean-Payoff Objectives
Publication TypeJournal Article
Year of Publication2012
AuthorsBohy, A, Bruyère V, Filiot E, Raskin J-F
JournalCoRR
Volumeabs/1210.3539
URLhttp://arxiv.org/abs/1210.3539