Encoding Problems in Controller Synthesis

David Binger. Encoding Problems in Controller Synthesis. PhD thesis, University of Illinois Urbana-Champaign, USA, 1992. [doi]

Abstract

Abstract is missing.