31 citations · 85 across the 19 of their papers we have counts for
1 paper · 1 filter
Nils Jansen, Laura Humphrey, Jana Tumova +1
We introduce the concept of structured synthesis for Markov decision processes where the structure is induced from finitely many pre-specified options for a system configuration. T…