Cited in
(6)- Formal analysis of piecewise affine systems through formula-guided refinement
- Distributed \(H_\infty\)-consensus filtering for piecewise discrete-time linear systems
- Compositional abstraction refinement for control synthesis
- Maxplus
- VeriSIMPL
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
This page was built for software: FaPAS
