Synthesis from LTL Specifications with Mean-Payoff Objectives
Résumé
no abstract
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 : mercredi 15 mai 2024-14:26:05