This project aims at a verification framework for hybrid systems (i.e., systems whose behavior is characterized by both continuous and discrete quantities). Concretely, we aim at (1) methods for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback