ISTA Research Explorer

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

Search / Filter

2015 | Technical Report | IST-REx-ID: 5434 |

Anonymous, 1, & Anonymous, 2. (2015). Optimal cost indefinite-horizon reachability in goal DEC-POMDPs. IST Austria.

[Published Version] View | Files available

2015 | Technical Report | IST-REx-ID: 5429 |

Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v1-1

[Published Version] View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5435 |

Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v2-1

[Published Version] View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5436 |

Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-170-v2-2

[Published Version] View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5437 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1

[Published Version] View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5430 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-319-v1-1

[Published Version] View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5439 |

Boker, U., Henzinger, T. A., & Otop, J. (2015). The target discounted-sum problem. IST Austria. https://doi.org/10.15479/AT:IST-2015-335-v1-1

[Published Version] View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5438 |

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-334-v1-1

[Published Version] View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5440 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v2-2

[Published Version] View | Files available | DOI

2015 | Technical Report | IST-REx-ID: 5432 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v1-1

[Published Version] View | Files available | DOI