171 citations · 1.1k across the 134 of their papers we have counts for
12 papers · 1 filter
On Satisficing in Quantitative Games
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
Several problems in planning and reactive synthesis can be reduced to the analysis of two-player quantitative graph games. {\em Optimization} is one form of analysis. We argue that…
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
A vector addition system with states (VASS) consists of a finite set of states and counters. A transition changes the current state to the next state, and every counter is either i…
Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +2
A probabilistic vector addition system with states (pVASS) is a finite state Markov process augmented with non-negative integer counters that can be incremented or decremented duri…
Long-Run Average Behavior of Vector Addition Systems with States
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
A vector addition system with states (VASS) consists of a finite set of states and counters. A configuration is a state and a value for each counter; a transition changes the state…
Bidirectional Nested Weighted Automata
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Nested weighted automata (NWA) present a robust and convenient automata-theoretic formalism for quantitative specifications. Previous works have considered NWA that processed input…
Nested Weighted Limit-Average Automata of Bounded Width
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
While weighted automata provide a natural framework to express quantitative properties, many basic properties like average response time cannot be expressed with weighted automata.…