Dr. Heinrich Ody
Kontakt
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: