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.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera 0001, Petr Novotný 0001, Dominik Velan. Deciding Fast Termination for Probabilistic VASS with Nondeterminism. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza, editors, Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Volume 11781 of Lecture Notes in Computer Science, pages 462-478, Springer, 2019. [doi]

Authors

Tomás Brázdil

This author has not been identified. Look up 'Tomás Brázdil' in Google

Krishnendu Chatterjee

This author has not been identified. Look up 'Krishnendu Chatterjee' in Google

Antonín Kucera 0001

This author has not been identified. Look up 'Antonín Kucera 0001' in Google

Petr Novotný 0001

This author has not been identified. Look up 'Petr Novotný 0001' in Google

Dominik Velan

This author has not been identified. Look up 'Dominik Velan' in Google
runs on