Author:Enea Zaffanella

Publications

Keyphrases

ARCH-COMP2, Bounded Model Checking2, hybrid system, Hybrid System Model Checker, Hybrid Systems with Piecewise Constant Dynamics, model checker, PCDB Category, Piecewise Constant Dynamics.