The following pages link to Exact safety verification of hybrid systems using sums-of-squares representation (Q893625):
Displaying 2 items.