Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties

From MaRDI portal
Revision as of 19:25, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2864840

DOI10.1007/978-3-642-39799-8_35zbMath1435.68202OpenAlexW2098597080WikidataQ57380212 ScholiaQ57380212MaRDI QIDQ2864840

No author found.

Publication date: 26 November 2013

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39799-8_35




Related Items (14)







This page was built for publication: Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties