28 citations · 73 across the 18 of their papers we have counts for
1 paper · 1 filter
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
We consider the policy synthesis problem for continuous-state controlled Markov processes evolving in discrete time, when the specification is given as a Büchi condition (visit a s…