Andre Platzer

• Logical Analysis Of Hybrid Systems Proving Theorems For Complex Dynamics