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

Satisfiability-Based Methods for Controller Synthesis. / Könighofer, Robert.

2015.

Research output: ThesisDoctoral ThesisResearch

@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 -