Wolff, Eric McKenzie (2014) Control of Dynamical Systems with Temporal Logic Specifications (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/TGFR-SS39
