Bezpečnosť typov v robotike: Zlepšenie riadenia robotov pomocou robustných implementácií typov

Bezpečnosť typov v robotike: Zlepšenie riadenia robotov pomocou robustných implementácií typov | MLOG | MLOG