Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3 Publications
2024 | Published | Journal Article | IST-REx-ID: 12738 | 
K. Chatterjee, J. P. Katoen, S. Mohr, M. Weininger, and T. Winkler, “Stochastic games with lexicographic objectives,” Formal Methods in System Design, vol. 63. Springer Nature, pp. 40–80, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 |
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9393 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in bounded treewidth graphs,” Formal Methods in System Design, vol. 57. Springer, pp. 401–428, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv