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

2 Publications

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 Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8272 | OA
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
View | Files available | DOI | arXiv