External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Enforcing ω-Regular Properties in Markov Chains by Restarting

Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger. Enforcing ω-Regular Properties in Markov Chains by Restarting. In Serge Haddad, Daniele Varacca, editors, 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. Volume 203 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Javier Esparza

This author has not been identified. Look up 'Javier Esparza' in Google

Stefan Kiefer

This author has not been identified. Look up 'Stefan Kiefer' in Google

Jan Kretínský

This author has not been identified. Look up 'Jan Kretínský' in Google

Maximilian Weininger

This author has not been identified. Look up 'Maximilian Weininger' in Google
runs on