ParSyPAS
ParSyPAS
Description: ParSyPAS (Parameter Synthesis for Piecewise Affine Systems)
VO Integration: No
Active: No
Available Benchmarks: No
Website: None
Download: Link to ParSyPAS software
Documentation: A paper and postor describing the software can be found here and here.
Contact: Boyan Yordanov (email) and Calin Belta (email)