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.

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives

S. Akshay 0001, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic. MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 86-112, Springer, 2023. [doi]

Authors

S. Akshay 0001

This author has not been identified. Look up 'S. Akshay 0001' in Google

Krishnendu Chatterjee

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

Tobias Meggendorfer

This author has not been identified. Look up 'Tobias Meggendorfer' in Google

Dorde Zikelic

This author has not been identified. Look up 'Dorde Zikelic' in Google
runs on