Observational Preorders for Alternating Transition Systems

Romain Demangeon; Catalin Dima; Daniele Varacca

doi:10.1007/978-3-031-43264-4_20

Communication Dans Un Congrès Année : 2023

Observational Preorders for Alternating Transition Systems

(1) , (2) , (2)

1
2

Romain Demangeon

Fonction : Auteur
PersonId : 965999

Algorithmes, Programmes et Résolution

Catalin Dima

Fonction : Auteur

Laboratoire d'Algorithmique Complexité et Logique

Daniele Varacca

Fonction : Auteur

Laboratoire d'Algorithmique Complexité et Logique

Domaines

Informatique [cs]

Fichier principal

main-eumas.pdf (309.32 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Daniele Varacca : Connectez-vous pour contacter le contributeur

https://hal.u-pec.fr/hal-04247620

Soumis le : mercredi 18 octobre 2023-14:15:08

Dernière modification le : mercredi 25 octobre 2023-09:51:15

Archivage à long terme le : vendredi 19 janvier 2024-19:29:39

Dates et versions

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

Identifiants

HAL Id : hal-04247620 , version 1
DOI : 10.1007/978-3-031-43264-4_20

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC LIP6 SORBONNE-UNIVERSITE SU-SCIENCES

23 Consultations

10 Téléchargements