Synthesis from LTL Specifications with Mean-Payoff Objectives

TitleSynthesis from LTL Specifications with Mean-Payoff Objectives
Publication TypeConference Paper
Year of Publication2013
AuthorsBohy, A, Bruyère V, Filiot E, Raskin J-F
Conference NameTools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, {TACAS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-642-36742-7_12
DOI10.1007/978-3-642-36742-7_12