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

Matteo Mio; Ralph Sarkis; Valeria Vignudelli

doi:10.1109/LICS52264.2021.9470717

Conference Papers Year :

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

(1) , ,

1

Matteo Mio

Function : Author
PersonId : 173745
IdHAL : matteo-mio
ORCID : 0000-0003-4050-3617
IdRef : 264452127

École normale supérieure - Lyon

Ralph Sarkis

Function : Author

Valeria Vignudelli

Function : Author

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Matteo Mio : Connect in order to contact the contributor

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

Submitted on : Friday, November 26, 2021-1:59:55 PM

Last modification on : Saturday, November 27, 2021-3:44:22 AM

Dates and versions

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

Identifiers

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

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

ENS-LYON UDL ANR

11 View

0 Download

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share