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.
77 Publications
2014 | Technical Report | IST-REx-ID: 5413 | 
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5414 |
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5412 |
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5419 |
Chatterjee, Krishnendu, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-187-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5417 |
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
[Published Version]
View
| Files available
| DOI