235 citations · 346 across the 15 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2017
Control Improvisation
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia
We formalize and analyze a new problem in formal language theory termed control improvisation. Given a specification language, the problem is to produce an improviser, a probabilis…
cs.FL2014★ 8 cited
Control Improvisation
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…