10 citations · 38 across the 8 of their papers we have counts for
1 paper · 1 filter
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia +1
We formalize and analyze a new automata-theoretic problem termed control improvisation. Given an automaton, the problem is to produce an improviser, a probabilistic algorithm that…