A uniformization-based algorithm for continuous-time stochastic games model checking

From MaRDI portal
Publication:1757155

DOI10.1016/j.tcs.2018.10.009zbMath1410.68215OpenAlexW2896167296WikidataQ129101513 ScholiaQ129101513MaRDI QIDQ1757155

Ali Movaghar, Negin Majidi, Shirin Baghoolizadeh

Publication date: 2 January 2019

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2018.10.009






Cites Work


This page was built for publication: A uniformization-based algorithm for continuous-time stochastic games model checking