Reachability for Branching Concurrent Stochastic Games

ICALP, Volume abs/1806.03907, 2019.

Cited by: 0|Bibtex|Views11|Links
EI

Abstract:

We give polynomial time algorithms for deciding almost-sure and limit-sure reachability in Branching Concurrent Stochastic Games (BCSGs). These are a class of infinite-state imperfect-information stochastic games that generalize both finite-state concurrent stochastic reachability games, as well as branching simple stochastic reachability...More

Code:

Data:

Your rating :
0

 

Tags
Comments