Riesz Modal logic for Markov processes

Matteo Mio; Robert Furber; Radu Mardare

doi:10.1109/LICS.2017.8005091

Conference Papers Year : 2017

Riesz Modal logic for Markov processes

(1, 2, 3) , (4) , (4)

1
2
3
4

Matteo Mio

Function : Author

École normale supérieure de Lyon

Laboratoire de l'Informatique du Parallélisme

Preuves et Langages

Robert Furber

Function : Author

Aalborg University [Denmark]

Radu Mardare

Function : Author

Aalborg University [Denmark]

Domains

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

Matteo Mio : Connect in order to contact the contributor

https://hal.science/hal-01872150

Submitted on : Tuesday, September 11, 2018-4:35:37 PM

Last modification on : Thursday, May 11, 2023-11:56:10 AM

Dates and versions

hal-01872150 , version 1 (11-09-2018)

Identifiers

HAL Id : hal-01872150 , version 1
DOI : 10.1109/LICS.2017.8005091

Cite

Matteo Mio, Robert Furber, Radu Mardare. Riesz Modal logic for Markov processes. 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. ⟨10.1109/LICS.2017.8005091⟩. ⟨hal-01872150⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 UDL ANR

43 View

0 Download

Riesz Modal logic for Markov processes

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share