Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Wien
Fakultät für Informatik

Address Favoritenstrasse 9-11/188
1040 Wien
Österreich

1040 Wien

Projects

CRC/Transregios
- Current projects
  - Fast, Safe, and Perspicuous Run-Time Planning
    (Project Heads Christakis, Maria ; Hein, Matthias ; Hoffmann, Jörg ; Valera, Isabel )
- Completed projects
  - Combining Program Analysis and Run-Time Monitoring
    (Project Heads Christakis, Maria ; Fetzer, Christof )
Research Grants
- Current projects
  - Reachability Analysis for Stochastic Hybrid Systems
    (Applicants Remke, Anne ; Ábrahám, Erika )

© 2024 DFG Disclaimer / Copyright / Privacy Policy