webSapo

webSapo is a web user interface for Sapo supporting users in:

• defining discrete-time parametric systems having polynomial dynamics
• specifying an initial set and a set of parameters by means of polytopes
• performing a bounded step reachability analysis of the system
• writing an STL specification in positive normal form for the system
• synthesizing a parameter set satisfying the provided STL specification
• plotting 2D and 3D representations of both reachability set and parameter set

Please, refer to the project wiki page for more pieces of information about:

• downloading and building webSapo
• executing webSapo
• using webSapo
• setting up a docker image for webSapo

A free-to-use demo of webSapo is available here.