171 citations · 497 across the 31 of their papers we have counts for
4 papers · 2 filters
Probabilistic Weighted Automata
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). Th…
Qualitative Analysis of Partially-observable Markov Decision Processes
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with omega-regular objectives. An observation-based strategy relies on partial inf…
Expressiveness and Closure Properties for Quantitative Languages
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages that assign to each word a real number .…
Antichains for the Automata-Based Approach to Model-Checking
Laurent Doyen, Jean-Francois Raskin
We propose and evaluate antichain algorithms to solve the universality and language inclusion problems for nondeterministic Buechi automata, and the emptiness problem for alternati…