FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

Hofferek, Georg (Co-Investigator (CoI))
Könighofer, Robert (Co-Investigator (CoI))
Bloem, Roderick (Principal Investigator (PI))

Institute of Applied Information Processing and Communications (7050)

Project: Research project

7 Conference paper
1 Doctoral Thesis

1 results

Filter

2014

Controller Synthesis with Uninterpreted Functions
Hofferek, G., 2014
Research output: Thesis › Doctoral Thesis

Open Access
File