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 24 mars 2023-14:53:01
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⟩
39
Consultations
0
Téléchargements