CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dyn
CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dynamic systems. Hybrid systems are modeled using the...