Ivan GavranRobotic Systems, Powered by Formal MethodsThis is a summary of the introduction to my PhD thesis defense talk. The talk was based on my work at Max Planck Institute for Software…Jul 6, 2022Jul 6, 2022
Ivan GavraninPenkalin blogSintetiziranje specifikacija za roboteObećanje dano ljudskom rodu je da će uskoro doći vrijeme kad će roboti raditi naporne poslove, a mi ćemo biti zabavljeni igrama…Nov 24, 20201Nov 24, 20201
Ivan GavranThe story of L-72Veronica is writing a story. But this time — unlike before — she doesn’t feel threatened by the empty opened document in front of her…Jul 5, 2019Jul 5, 2019
Ivan GavranHrvatsko 20. stoljeće kroz pedesetak rečenicaNedavno sam završio čitanje knjige Imam san — u 80 rečenica kroz povijest 20. stoljeća. Koncept je zanimljiv — svako poglavlje naslovljeno…Jun 3, 2017Jun 3, 2017
Ivan GavranŠto se sve dogodilo na Mutimiru“Ajde dođi oko pet do Zrinjevca pa ćemo na kavu, ionako se tamo u šest nalazim sa Ž.”- rekao mi je Ivo (slutim) zabrinuto gledajući u svoj…Jan 23, 20171Jan 23, 20171
Ivan GavranTuning ROS Navigation stackWhile working with ROS navigation stack, I would every now and then encounter extremely weird behaviors by robots, only to discover later…Dec 5, 2016Dec 5, 2016
Ivan GavranRefugee’s son in GermanyKlaus is over fifty years old. His completely white hair and beard make him look like a good grandpa, but his skills as a handyman and the…Sep 28, 2016Sep 28, 2016
Ivan GavranLove, pistols, Danube“It is time for you to get married”. Ringo thought these words came too soon. He remembered the day she was born, and it seemed as if it…Apr 24, 2016Apr 24, 2016
Ivan GavranROS — creating .world file from existing .yamlWhen I recently started with ROS I was amazed by the number of packages available and the possibilities they offer for quick start with…Mar 13, 20164Mar 13, 20164
Ivan GavranBurn some books!There are two major prohibitions that we learnt throughout the childhoodJan 29, 2016Jan 29, 2016