Skip to Main content Skip to Navigation
Conference papers

Synthesis from LTL Specifications with Mean-Payoff Objectives

Abstract : no abstract
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01196260
Contributor : Julien Tesson <>
Submitted on : Wednesday, September 9, 2015 - 2:31:00 PM
Last modification on : Friday, October 4, 2019 - 1:12:55 AM

Links full text

Identifiers

Collections

Citation

Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin. Synthesis from LTL Specifications with Mean-Payoff Objectives. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013, Unknown, Unknown Region. pp.169-184, ⟨10.1007/978-3-642-36742-7_12⟩. ⟨hal-01196260⟩

Share

Metrics

Record views

68