Originalsprache | englisch |
---|---|
Publikationsstatus | Veröffentlicht - 2015 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Application
Dies zitieren
Könighofer, R. (2015). Satisfiability-Based Methods for Controller Synthesis.
Satisfiability-Based Methods for Controller Synthesis. / Könighofer, Robert.
2015.Publikation: Studienabschlussarbeit › Dissertation › Forschung
Könighofer, R 2015, 'Satisfiability-Based Methods for Controller Synthesis'.
Könighofer R. Satisfiability-Based Methods for Controller Synthesis. 2015.
@phdthesis{eff6203c14c344d9ab181a2aab4b4c0e,
title = "Satisfiability-Based Methods for Controller Synthesis",
author = "Robert K{\"o}nighofer",
year = "2015",
language = "English",
}
TY - THES
T1 - Satisfiability-Based Methods for Controller Synthesis
AU - Könighofer, Robert
PY - 2015
Y1 - 2015
M3 - Doctoral Thesis
ER -