Observational Preorders for Alternating Transition Systems - Université Paris-Est-Créteil-Val-de-Marne Access content directly
Conference Papers Year : 2023

Observational Preorders for Alternating Transition Systems

Fichier principal
Vignette du fichier
main-eumas.pdf (309.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
23 View
11 Download

Altmetric

Share

Gmail Facebook X LinkedIn More