Pluriannual Dynamic Plots

The plots present pluri-annual data as nice dynamic plots.

• state_space
• global_properties
• reachability
• ctl
• ltl
• upper_bounds