V petek, 18. 9. 2026 ob 8. uri bo
MATEJ ROSTOHAR
javno predstavil doktorsko temo z naslovom:
Uporaba signalne časovne logike za izboljšanje varnosti delovanja mehatronskih krmilnih sistemov
eng. Application of signal temporal logic to improve the operational safety of mechatronic control systems
Mentor: doc. dr. Dominik Kozjek
Komisija:
doc. dr. Primož Potočnik – predsednik
prof. dr. Gašper Mušič (UL FE)
prof. dr. Bogdan Filipič (IJS)
doc. dr. Dominik Kozjek – mentor kot pridružen član
Predstavitev bo v predavalnici I/4A na Fakulteti za strojništvo UL (Aškerčeva c. 6, Ljubljana).