Long-run Satisfaction of Path Properties

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02349456
Contributor : Ocan Sankur <>
Submitted on : Tuesday, November 5, 2019 - 4:35:09 PM
Last modification on : Thursday, November 7, 2019 - 1:23:08 AM

Identifiers

Citation

Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur. Long-run Satisfaction of Path Properties. 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. pp.1-14, ⟨10.1109/LICS.2019.8785672⟩. ⟨hal-02349456⟩

Share

Metrics

Record views

7