Controller Synthesis with Uninterpreted Functions

Georg Hofferek

Research output: Thesis › Doctoral Thesis

Original language	English
Publication status	Published - 2014

Fields of Expertise

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Project: Research project
FWF - RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Project: Research project
EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Project: Research project