|
|
|||
Robust Verification of Gene Networks |
Control of linear systems from LTL formulas over linear predicates |
|||
| ||||
|---|---|---|---|---|
| ||||
 |
 |
|||
Automatic Deployment of Robots in 2D and 3D environments |
Reachability analysis of multiaffine systems |
|||
| ||||
| ||||
 |
 |
|||
Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty |
Parameter Synthesis for Piecewise Affine Systems |
|||
| ||||
| ||||
 |
||||
Temporal Logic Control of Discrete-Time Piecewise Affine Systems |
||||
