Synthesis from LTL Specifications with Mean-Payoff Objectives

Abstract : no abstract
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01196260
Contributor : Julien Tesson <>
Submitted on : Wednesday, September 9, 2015 - 2:31:00 PM
Last modification on : Tuesday, February 12, 2019 - 12:06:03 PM

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

38