Heinrich Ody, M.Sc.
Contact
Heinrich Ody, M.Sc.
Research
My research interests are
- Robustness of (temporal/spatial) logics
- Temporal logics
- Spatial logics
- Synthesis of (distributed) reactive systems
Webmaster
(Changed: 12 Dec 2025)
| Kurz-URL:Shortlink: https://uol.de/p30401en