Observational Preorders for Alternating Transition Systems

Romain Demangeon; Catalin Dima; Daniele Varacca

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

Conference Papers Year : 2023

Observational Preorders for Alternating Transition Systems

(1) , (2) , (2)

1
2

Romain Demangeon

Function : Author
PersonId : 965999

Algorithmes, Programmes et Résolution

Catalin Dima

Function : Author

Laboratoire d'Algorithmique Complexité et Logique

Daniele Varacca

Function : Author

Laboratoire d'Algorithmique Complexité et Logique

Domains

Computer Science [cs]

Fichier principal

main-eumas.pdf (309.32 Ko)

Origin	Files produced by the author(s)

Daniele Varacca : Connect in order to contact the contributor

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

Submitted on : Wednesday, October 18, 2023-2:15:08 PM

Last modification on : Wednesday, October 25, 2023-9:51:15 AM

Long-term archiving on : Friday, January 19, 2024-7:29:39 PM

Dates and versions

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

Identifiers

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

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC LIP6 SORBONNE-UNIVERSITE SU-SCIENCES

52 View

50 Download