U ponedjeljak 15. veljače 2010. s početkom u 15 h (u sobi 203) Dario Krešić s FOI Varaždin održat će predavanje na poslijediplomskom Seminaru za teorijsko računarstvo pod naslovom:

O nekim problemima verifikacije vezanim uz vremenske automate.

Sažetak: Vremenski automati (engl. timed automata) proširuju ω-automate za skup tzv. satnih varijabli koje mjere vrijeme među događajima. Nakon predstavljanja sintakse i semantike Büchijevih i Mullerovih vremenskih automata bit će diskutiran problem inkluzije dvaju (vremenskih) jezika vazan za verifikaciju modela zasnovanih na ovim automatima. S tim u vezi bit će predstavljen i problem diskretizacije i tzv. eksplozije prostora stanja te diskutirane poteškoće automatske verifikacije.

Pozivaju se svi članovi seminara, pogotovo oni članovi koji su ujedno i polaznici poslijediplomskog doktorskog studija, kao i ostali zainteresirani, da prisustvuju ovom predavanju.