Dr. Heinrich Ody
Kontakt
- E-Mail:
Dr. Heinrich Ody
Forschung
Meine Forschungsinteressen sind:
- Robustheit von spatio-temporalen Logiken
- Temporale Logik
- Räumliche Logik
- Synthese von (verteilten) Reaktiven Systemen
Meine Forschungsinteressen sind: