Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4096 Publications
2013 | Technical Report | IST-REx-ID: 5399 |

J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5400 |

K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5401 |

J. Porsche, Initiatives and projects related to RD. IST Austria, 2013.
View
| Files available