Shirin Baghoolizadeh

Orcid: 0000-0003-1004-6953

According to our database¹, Shirin Baghoolizadeh authored at least 1 paper in 2019.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2019

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

[DOI]

Theor. Comput. Sci., 2019