Synthesis from LTL Specifications with Mean-Payoff Objectives
Résumé
no abstract
Communication Dans Un Congrès
Année : 2013
Julien Tesson : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01196260
Soumis le : mercredi 9 septembre 2015-14:31:00
Dernière modification le : vendredi 27 décembre 2024-19:50:36
Citer
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⟩
42
Consultations
0
Téléchargements