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
PersonId : 753503
IdHAL : catalin-dimac
ORCID : 0000-0001-5981-4533

Laboratoire d'Algorithmique Complexité et Logique

Daniele Varacca

Fonction : Auteur
PersonId : 969312
IdHAL : daniele-varacca
ORCID : 0009-0007-6500-2153

Laboratoire d'Algorithmique Complexité et Logique

Domaines

Informatique [cs]

Fichier principal

main-eumas.pdf (309)

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 : lundi 17 février 2025-09:37:24

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

92 Consultations

88 Téléchargements