Observational Preorders for Alternating Transition Systems - Université Paris-Est-Créteil-Val-de-Marne
Communication Dans Un Congrès Année : 2023

Observational Preorders for Alternating Transition Systems

Fichier principal
Vignette du fichier
main-eumas.pdf (309.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04247620 , version 1 (18-10-2023)

Identifiants

Citer

Romain Demangeon, Catalin Dima, Daniele Varacca. Observational Preorders for Alternating Transition Systems. 20th European Conference on Multi-Agent Systems - EUMAS 2023, Sep 2023, Naples, Italy. pp.312-327, ⟨10.1007/978-3-031-43264-4_20⟩. ⟨hal-04247620⟩
86 Consultations
82 Téléchargements

Altmetric

Partager

More