Stability-based Hybrid Automata For Safety Verification Using Continuation Methods
original title: Stability-based Hybrid Automata For Safety Verification Using Continuation Methods
original language: English
Editions
No editions found
Work - wd:Q110142053