Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Krishnendu Chatterjee

Strategy Synthesis for Multi-Dimensional Quantitative Objectives

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2013English

Quantitative Languages

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2010English

Nested Weighted Automata

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2017English

Algorithms for Game Metrics

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Timed Parity Games: Complexity and Robustness

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Perfect-Information Stochastic Mean-Payoff Parity Games

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Efficient Controller Synthesis for Consumption Games With Multiple Resource Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

JTDec: A Tool for Tree Decompositions in Soot

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Synthesis of AMBA AHB From Formal Specification: A Case Study

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy