Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1) , ,
1
Matteo Mio
Ralph Sarkis
  • Function : Author
Valeria Vignudelli
  • Function : Author

Dates and versions

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

Identifiers

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⟩

Collections

ENS-LYON UDL ANR
11 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More