Autonomous Control of Hybrid Systems with Declarative Controllers.

Wolf Kohn, Anil Nerode

Browse the full LPNMR paper archive.