Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning

Matteo Mio; Ralph Sarkis; Valeria Vignudelli

doi:10.1109/LICS52264.2021.9470717

Communication Dans Un Congrès Année : 2021

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning

(1) , ,

1

Matteo Mio

Fonction : Auteur
PersonId : 173745
IdHAL : matteo-mio
ORCID : 0000-0003-4050-3617
IdRef : 264452127

École normale supérieure de Lyon

Ralph Sarkis

Fonction : Auteur

Valeria Vignudelli

Fonction : Auteur

Domaines

Logique en informatique [cs.LO]

Matteo Mio : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03451353

Soumis le : vendredi 26 novembre 2021-13:59:55

Dernière modification le : vendredi 12 mai 2023-04:02:07

Dates et versions

hal-03451353 , version 1 (26-11-2021)

Identifiants

HAL Id : hal-03451353 , version 1
DOI : 10.1109/LICS52264.2021.9470717

Citer

Matteo Mio, Ralph Sarkis, Valeria Vignudelli. Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470717⟩. ⟨hal-03451353⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON UDL ANR

11 Consultations

0 Téléchargements

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager