Shirin Baghoolizadeh, Ali Movaghar, Negin Majidi. A uniformization-based algorithm for continuous-time stochastic games model checking. Theoretical Computer Science, 756:1-18, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.