171 citations · 1.1k across the 134 of their papers we have counts for
Showing 2015 · cs.AIShow all
2 papers · 2 filters
cs.AI2015
A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs
Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
POMDPs are standard models for probabilistic planning problems, where an agent interacts with an uncertain environment. We study the problem of almost-sure reachability, where give…
cs.AI2015★ 1 cited
MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
Tomáš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt +1
We present MultiGain, a tool to synthesize strategies for Markov decision processes (MDPs) with multiple mean-payoff objectives. Our models are described in PRISM, and our tool use…