anticache

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