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.

Synthesis in pMDPs: A Tale of 1001 Parameters

Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Synthesis in pMDPs: A Tale of 1001 Parameters. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Volume 11138 of Lecture Notes in Computer Science, pages 160-176, Springer, 2018. [doi]

Authors

Murat Cubuktepe

This author has not been identified. Look up 'Murat Cubuktepe' in Google

Nils Jansen 0001

This author has not been identified. Look up 'Nils Jansen 0001' in Google

Sebastian Junges

This author has not been identified. Look up 'Sebastian Junges' in Google

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google

Ufuk Topcu

This author has not been identified. Look up 'Ufuk Topcu' in Google
runs on