The following pages link to Martin Fränzle (Q394331):
Displayed 5 items.
- The quest for an adequate semantic basis of dense-time metric temporal logic (Q6163886) (← links)
- The demon, the gambler, and the engineer. Reconciling hybrid-system theory with metrology (Q6165774) (← links)
- Taming delays in dynamical systems. Unbounded verification of delay differential equations (Q6194599) (← links)
- Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties (Q6309151) (← links)
- Reach-Avoid Differential Games Based on Invariant Generation (Q6309378) (← links)