https://ivan-gavran.github.io/0-robotic-systems-fm 2023-08-25T02:00:00+02:00 https://ivan-gavran.github.io/0-actor-model-cw 2023-11-11T01:00:00+01:00 https://ivan-gavran.github.io/0-robots-road-test 2025-03-09T01:00:00+01:00 https://ivan-gavran.github.io/0-synthesizing-quint-models 2025-04-26T02:00:00+02:00 https://ivan-gavran.github.io/0-blockers-and-unblockers 2025-08-12T02:00:00+02:00 https://ivan-gavran.github.io/about/ https://ivan-gavran.github.io/ https://ivan-gavran.github.io/tags/ https://ivan-gavran.github.io/assets/pdfs/IvanGavranCV.pdf 2026-03-23T18:01:38+01:00