Bi-Weekly Talk: An Introduction To ω-Automata

Mittwoch, 18.04.2018, 10.15 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10

Vortragender: Anton Pirogov

 

Herr Pirogiv berichtet über seinen aktuellen Forschungsstand im Bereich automationstheoretische Techniken bei der probalistischen Verifikation.