FaPAS

swMATH10957MaRDI QIDQ22909FDOQ22909

Author name not available (Why is that?)

Cited In (4)

• \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
• 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

This page was built for software: FaPAS