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.