anticache

A regular and a tool paper got accepted at HSCC'19!

25.01.2019


A regular paper on compositional verification and synthesis of interconnected embedded control systems and a tool paper on parallelization of symbolic control and utilizing high-performance computing platforms got accepted at HSCC'19.