Our case study paper got accepted at TACAS'19!
26.01.2019
Our case study paper on a parallelized and sparsity-aware controller synthesis approach got accepted at TACAS'19!
26.01.2019
Our case study paper on a parallelized and sparsity-aware controller synthesis approach got accepted at TACAS'19!