59 citations · 291 across the 45 of their papers we have counts for
1 paper · 2 filters
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…