Krishnendu Chatterjee (IST Austria)
Identifiers
- name variant Krishnendu Chatterjee (IST Austria) 0.60 · backfill
Papers (6)
- Proceedings 3rd Workshop on Synthesis cs.LO · 2014 · author #1
- Infinite-state games with finitary conditions cs.GT · 2013 · author #1
- Markov Decision Processes with Multiple Long-run Average Objectives cs.GT · 2011 · author #5
- Finitary languages cs.FL · 2011 · author #1
- Expressiveness and Closure Properties for Quantitative Languages cs.LO · 2010 · author #1
- Discounting in Games across Time Scales cs.LO · 2010 · author #1
Mentions
- 1301.2661 #1 · backfill · confidence 0.70 Krishnendu Chatterjee (IST Austria)
- 1104.3489 #5 · backfill · confidence 0.70 Krishnendu Chatterjee (IST Austria)
- 1101.1727 #1 · backfill · confidence 0.70 Krishnendu Chatterjee (IST Austria)
- 1007.4018 #1 · backfill · confidence 0.70 Krishnendu Chatterjee (IST Austria)
- 1006.1403 #1 · backfill · confidence 0.70 Krishnendu Chatterjee (IST Austria)
Frequent Coauthors
- Anton\'in Ku\v{c}era (Faculty of Informatics 1 shared papers
- ENS Cachan) 1 shared papers
- EPFL Switzerland) 1 shared papers
- Laurent Doyen (CNRS France) 1 shared papers
- Masaryk University) 1 shared papers
- Nathana\"el Fijalkow (IST Austria 1 shared papers
- Nathana\"el Fijalkow (LIAFA) 1 shared papers
- Oxford University) 1 shared papers
- R\"udiger Ehlers (University of Bremen) 1 shared papers
- Rupak Majumdar (UCLA) 1 shared papers
- Susmit Jha (Intel Strategic CAD Lab) 1 shared papers
- Thomas A Henzinger (IST Austria 1 shared papers
- Tom\'a\v{s} Br\'azdil (Faculty of Informatics 1 shared papers
- V\'aclav Bro\v{z}ek (Faculty of Informatics 1 shared papers
- Vojt\v{e}ch Forejt (Department of Computer Science 1 shared papers