Browsing by Author "Husák, Robert"
Now showing items 1-2 of 2
-
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Defence status: DEFENDEDHusák, Robert (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Date of defense: 6. 2. 2017Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft ... -
Quadrotor 3D Intuitive Flying
Defence status: DEFENDEDHusák, Robert (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 16. 6. 2014R-UAV (angl. Rotor-based Unmanned Aerial Vehicle - rotorové bezpilotní letouny) je robotická platforma schopná vertikálního vzletu a přistání. Obvyklý způsob jejich ovládání je pomocí systému "dvou páček", který je častý ...