Proseminar | Literatur-Links | Folien und Ausarbeitungen |
The Time Machine Folien und Ausarbeitungen
Thema | Referent | |||
Timed Automata | Andreas Hoffmann | Folien | Ausarbeitung | |
Clock Regions | Zhe Fang | Folien | ||
Clock Zones / DBM | Oliver Welsch | Folien | Ausarbeitung | |
Clock Zone Subtraction | Rafael Math | Folien | Ausarbeitung | |
Zenoness | Yaser Seyedi Fazlollahi | Folien | Ausarbeitung | |
Linear Temporal Logic | Roxana Ragneala | Folien | Ausarbeitung | |
Partial Order Reduction | Wangjun Shi | Folien | Ausarbeitung | |
Directed Model Checking | Stephan Neumann | Folien | Ausarbeitung | |
Uppaal | Fabian Lessle | Folien | Ausarbeitung | |
Turn-based Timed Games | Melanie Becker | Folien | Ausarbeitung | |
Timed Interfaces | Daniel Fass | Folien | Ausarbeitung | |
Surprise Games | Florian Winter | Folien | Ausarbeitung | |
Deductive Verification | Goran Doychev | Folien | Ausarbeitung |