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.

520 Publications

Search / Filter

2015 | Published | Journal Article | IST-REx-ID: 523 |

Chatterjee K, Doyen L, Randour M, Raskin J. Looking at mean-payoff and total-payoff through windows. Information and Computation. 2015;242(6):25-52. doi:10.1016/j.ic.2015.03.010

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv

2015 | Published | Journal Article | IST-REx-ID: 524 |

Chatterjee K, Ibsen-Jensen R. Qualitative analysis of concurrent mean payoff games. Information and Computation. 2015;242(6):2-24. doi:10.1016/j.ic.2015.03.009

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv

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

Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v1-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-319-v1-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5431 |

Chatterjee K, Ibsen-Jensen R, Hansen K. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria; 2015. doi:10.15479/AT:IST-2015-322-v1-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolutionary Games on Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-323-v1-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v2-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2

[Published Version] View | Files available | DOI

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

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-330-v2-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit Distance for Pushdown Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-334-v1-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolutionary Games on Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-323-v2-2

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5441 |

Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015. doi:10.15479/AT:IST-2015-340-v1-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5443 |

Chatterjee K, Chmelik M, Davies J. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria; 2015. doi:10.15479/AT:IST-2015-325-v2-1

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5444 |

Reiter J, Makohon-Moore A, Gerold J, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria; 2015. doi:10.15479/AT:IST-2015-399-v1-1

[Published Version] View | Files available | DOI

2015 | Research Data | IST-REx-ID: 5549 |

Fellner A. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. 2015. doi:10.15479/AT:ISTA:28

[Published Version] View | Files available | DOI

2014 | Published | Journal Article | IST-REx-ID: 2716 |

Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv

2014 | Published | Journal Article | IST-REx-ID: 1375 |

Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2014 | Published | Conference Paper | IST-REx-ID: 1853

Jha S, Tripakis S, Seshia S, Chatterjee K. Game theoretic secure localization in wireless sensor networks. In: IEEE; 2014:85-90. doi:10.1109/IOT.2014.7030120

View | DOI

2014 | Published | Conference Paper | IST-REx-ID: 2027 |

Brázdil T, Chatterjee K, Chmelik M, et al. Verification of markov decision processes using learning algorithms. In: Cassez F, Raskin J-F, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8837. Springer; 2014:98-114. doi:10.1007/978-3-319-11936-6_8

[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv

2014 | Published | Journal Article | IST-REx-ID: 2038 |

Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 2014;15(4). doi:10.1145/2629686

[Submitted Version] View | Files available | DOI | WoS