Pages that link to "Item:Q1693830"
From MaRDI portal
The following pages link to Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830):
Displayed 2 items.
The following pages link to Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830):
Displayed 2 items.