Benedikt Maderbacher

Computer Science

1. Temporal Logic 100%
2. Procedures 100%
3. Formal Specification 83%
4. Cyber Physical Systems 66%
5. Simplex 66%
6. Booleans 66%
7. Liveness Property 66%
8. Programs 66%
9. Fragment Program 33%
10. Integrity Check 33%
11. Theorem Proving 33%
12. Interprocess Communication 33%
13. Data Integrity 33%
14. Case Study 33%
15. Synthesis Problem 33%
16. Hybrid System 33%
17. Reachability Analysis 33%
18. Test Generation 33%
19. Critical Application 33%
20. Data Domain 33%
21. Specification Language 16%
22. Avionics 16%
23. Simulink 16%
24. Autonomous Driving 16%