Conference item
Enforcing ω-regular properties in Markov chains by restarting
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 826.2KB, Terms of use)
-
- Publisher copy:
- 10.4230/LIPIcs.CONCUR.2021.5
Authors
- Publisher:
- Schloss Dagstuhl
- Host title:
- Proceedings of the 32nd International Conference on Concurrency Theory (CONCUR 2021)
- Volume:
- 203
- Issue:
- 2021
- Pages:
- 5:1--5:22
- Series:
- Leibniz International Proceedings in Informatics (LIPIcs)
- Publication date:
- 2021-08-13
- Acceptance date:
- 2021-06-23
- Event title:
- 32nd International Conference on Concurrency Theory (CONCUR 2021)
- Event location:
- Online
- Event website:
- https://qonfest2021.lacl.fr/concur21.php
- Event start date:
- 2021-08-23
- Event end date:
- 2021-08-27
- DOI:
- ISSN:
-
1868-8969
- ISBN:
- 978-3-95977-203-7
- Language:
-
English
- Keywords:
- Pubs id:
-
1186122
- Local pid:
-
pubs:1186122
- Deposit date:
-
2021-07-13
- ARK identifier:
Terms of use
- Copyright holder:
- Esparza et al.
- Copyright date:
- 2021
- Rights statement:
- © Javier Esparza, Stefan Kiefer, Jan Křetínský, and Maximilian Weininger; licensed under Creative Commons License CC-BY 4.0
- Licence:
- CC Attribution (CC BY)
If you are the owner of this record, you can report an update to it here: Report update to this record