Articles
| Title | DOI | Date |
|---|---|---|
| A uniformization-based algorithm for continuous-time stochastic games model checking | 10.1016/j.tcs.2018.10.009 |
| Title | DOI | Date |
|---|---|---|
| A uniformization-based algorithm for continuous-time stochastic games model checking | 10.1016/j.tcs.2018.10.009 |