Formal Methods for Stochastic Models: Algorithms and Applications

Project Period: 2020-10-01 – 2025-09-30
Externally Funded
Acronym
ForM-SMArt
Principal Investigator
Krishnendu Chatterjee
Department(s)
Chatterjee Group
Grant Number
863818
Funding Organisation
EC/H2020

1 Publication

2020 | Conference Paper | IST-REx-ID: 7955   OA
Approximating values of generalized-reachability stochastic games
P. Ashok, K. Chatterjee, J. Kretinsky, M. Weininger, T. Winkler, in:, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , Association for Computing Machinery, n.d., pp. 102–115.
View | DOI | Download (ext.) | arXiv