Satisfiability-Based Methods for Controller Synthesis

Robert Könighofer

Research output: ThesisDoctoral ThesisResearch

Original languageEnglish
Publication statusPublished - 2015

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this