Communication Dans Un Congrès
Année : 2021
Nathanaël Fijalkow : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03410670
Soumis le : lundi 1 novembre 2021-13:34:05
Dernière modification le : vendredi 7 juillet 2023-10:46:59
Dates et versions
Identifiants
- HAL Id : hal-03410670 , version 1
Citer
Ashwani Anand, Nathanaël Fijalkow, Aliénor Goubault-Larrecq, Jérôme Leroux, Pierre Ohlmann. New Algorithms for Combinations of Objectives using Separating Automata. International Symposium on Games, Automata, Logics, and Formal Verification, GandALF, 2021, NA, Italy. ⟨hal-03410670⟩
Collections
28
Consultations
0
Téléchargements