{"id":48692,"date":"2025-10-06T13:06:36","date_gmt":"2025-10-06T11:06:36","guid":{"rendered":"https:\/\/www.derivaty.sk\/?p=48692"},"modified":"2025-10-06T13:06:36","modified_gmt":"2025-10-06T11:06:36","slug":"hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav","status":"publish","type":"post","link":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/","title":{"rendered":"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV"},"content":{"rendered":"<h2>Pre\u010do \u201ebezpe\u010dn\u00e1 AI\u201c pre UAV nie je len o presnosti<\/h2>\n<p>Auton\u00f3mne bezpilotn\u00e9 lietadl\u00e1 (UAV) \u010doraz \u010dastej\u0161ie vyu\u017e\u00edvaj\u00fa modely strojov\u00e9ho u\u010denia a pl\u00e1novania zalo\u017een\u00e9ho na AI v kritick\u00fdch slu\u010dk\u00e1ch vn\u00edmania\u2013rozhodovania\u2013riadenia. Vysok\u00e1 presnos\u0165 detekcie prek\u00e1\u017eok alebo kvalitn\u00e9 trajekt\u00f3rie v\u0161ak samy osebe negarantuj\u00fa bezpe\u010dnos\u0165. Potrebujeme <em>verifikovate\u013en\u00e9 politiky<\/em>, ktor\u00e9 form\u00e1lne vynucuj\u00fa obmedzenia, a <em>interpretovate\u013enos\u0165<\/em>, ktor\u00e1 umo\u017en\u00ed \u013eudom rozumie\u0165 a auditova\u0165 spr\u00e1vanie modelov. Tento \u010dl\u00e1nok predstavuje integrovan\u00fd r\u00e1mec bezpe\u010dnej AI pre UAV \u2013 od \u0161pecifik\u00e1cie bezpe\u010dnostn\u00fdch cie\u013eov, cez form\u00e1lne overovanie a runtime \u201eshielding\u201c, a\u017e po metriky interpretovate\u013enosti a procesy MLOps v regulovanom prostred\u00ed.<\/p>\n<h2>Referen\u010dn\u00e1 architekt\u00fara: od ODD k bezpe\u010dnostn\u00fdm cie\u013eom<\/h2>\n<ul>\n<li><strong>ODD (Operational Design Domain)<\/strong>: priestorov\u00e9 (typ vzdu\u0161n\u00e9ho priestoru, urbaniz\u00e1cia), environment\u00e1lne (vietor, zr\u00e1\u017eky, doh\u013eadnos\u0165), prev\u00e1dzkov\u00e9 (VLOS\/BVLOS, v\u00fd\u0161ka) hranice, v ktor\u00fdch je politika AI platn\u00e1.<\/li>\n<li><strong>Bezpe\u010dnostn\u00e9 ciele<\/strong>: napr. \u201epravdepodobnos\u0165 kol\u00edzie &lt; 10<sup>\u2212x<\/sup> na letov\u00fa hodinu\u201c, \u201e\u017eiadny prelet nad vyhraden\u00fdmi z\u00f3nami\u201c, \u201evyhnutie sa \u013eu\u010fom do vzdialenosti &gt; d\u201c.<\/li>\n<li><strong>Oddelenie \u00faloh<\/strong>: (i) <em>percepcia<\/em> (detekcia\/SLAM), (ii) <em>predikcia<\/em> (trajekt\u00f3rie in\u00fdch), (iii) <em>rozhodovanie<\/em> (pl\u00e1novanie\/RL), (iv) <em>riadenie<\/em> (CBF\/LQR), (v) <em>dozor<\/em> (monitor\/shield).<\/li>\n<\/ul>\n<h2>Form\u00e1lna \u0161pecifik\u00e1cia: od logiky k kontraktom<\/h2>\n<ul>\n<li><strong>Tempor\u00e1lne logiky<\/strong>: LTL\/MTL\/STL na vyjadrenie po\u017eiadaviek typu \u201ev\u017edy dr\u017e horizont\u00e1lnu separ\u00e1ciu \u2265 R\u201c, \u201eak hroz\u00ed kol\u00edzia, do T sek\u00fand iniciuj \u00fahybn\u00fd man\u00e9ver\u201c.<\/li>\n<li><strong>Kontrakty<\/strong>: assume\u2013guarantee r\u00e1mec pre komponenty (senzory, pl\u00e1nova\u010d, autopilot). Napr. \u201eak latencia vn\u00edmania &lt; 80 ms a chyba poz\u00edcie &lt; 0.5 m, pl\u00e1nova\u010d garantuje bezpe\u010dn\u00fd man\u00e9ver\u201c.<\/li>\n<li><strong>Oblas\u0165 bezpe\u010dn\u00e9ho stavu<\/strong>: invarianty v priestore stavov; defin\u00edcie <em>unsafe set<\/em> (kol\u00edzie, poru\u0161enie geofencingu, satur\u00e1cie aktu\u00e1torov).<\/li>\n<\/ul>\n<h2>Overovanie rozhodovania: model checking, dosiahnute\u013enos\u0165 a CBF<\/h2>\n<ul>\n<li><strong>Reachability analysis<\/strong>: dopredn\u00e9\/backward dosahy so zoh\u013eadnen\u00edm por\u00fach vetra a neistoty odhadu; v\u00fdpo\u010det \u201etubes\u201c okolo referen\u010dnej trajekt\u00f3rie.<\/li>\n<li><strong>Control Barrier Functions (CBF)<\/strong>: online rie\u0161enie QP, ktor\u00e9 koriguje pr\u00edkazy tak, aby deriv\u00e1cia bari\u00e9rovej funkcie sp\u013a\u0148ala bezpe\u010dnostn\u00fa nerovnos\u0165.<\/li>\n<li><strong>Model checking<\/strong>: abstrakcia politiky (napr. diskr\u00e9tne stavy \u00farovne rizika) a verifik\u00e1cia LTL vlastnost\u00ed nad kone\u010dn\u00fdm automatom.<\/li>\n<li><strong>Robustn\u00e9 MPC<\/strong>: pl\u00e1novanie s \u201etube\u201c ob\u00e1lkou a tvrd\u00fdmi obmedzeniami; garantovan\u00e1 realizovate\u013enos\u0165.<\/li>\n<\/ul>\n<h2>RL pod kontrolou: bezpe\u010dn\u00e9 u\u010denie a \u201eshielding\u201c<\/h2>\n<ul>\n<li><strong>Safety layer<\/strong>: projekcia akcie z RL cez QP\/CBF pred odoslan\u00edm do autopilota (akcia je modifikovan\u00e1 na najbli\u017e\u0161iu bezpe\u010dn\u00fa).<\/li>\n<li><strong>Constrained RL<\/strong>: optimaliz\u00e1cia s Lagrange multiplik\u00e1tormi alebo CMDP; penaliz\u00e1cia poru\u0161enia bezpe\u010dnostn\u00fdch rozpo\u010dtov (napr. v\u00fddavok rizika).<\/li>\n<li><strong>Curriculum a sim2real<\/strong>: postupn\u00e9 zvy\u0161ovanie obtia\u017enosti, dom\u00e9nov\u00fd randomizmus (vietor, odozvy) a roz\u0161\u00edren\u00e1 penaliz\u00e1cia OOD stavov.<\/li>\n<li><strong>Offline\/Batch RL s verifik\u00e1ciou<\/strong>: u\u010denie nad kur\u00e1torsk\u00fdm datasetom bezpe\u010dn\u00fdch trajekt\u00f3ri\u00ed; verifik\u00e1cia politiky pred nasaden\u00edm.<\/li>\n<\/ul>\n<h2>Runtime monitorovanie: od \u201eshields\u201c po diagn\u00f3zu<\/h2>\n<ul>\n<li><strong>Monitor STL<\/strong>: robustn\u00fd stupe\u0148 splnenia formuly (robustness degree) ako sp\u00e4tn\u00e1 v\u00e4zba \u2013 ak klesne pod prah, vyvolaj <em>failsafe<\/em>.<\/li>\n<li><strong>Watchdogs a kontrakty<\/strong>: doh\u013ead nad latenciou, stratou paketov, satur\u00e1ciami; automatick\u00fd prechod na <em>hover<\/em> alebo RTH.<\/li>\n<li><strong>Ensembles a runtime certifik\u00e1t<\/strong>: \u201etwo-tier\u201c politika \u2013 r\u00fdchla neur\u00f3nov\u00e1 politika + pomal\u0161\u00ed certifikovan\u00fd kontrol\u00e9r na korekciu.<\/li>\n<\/ul>\n<h2>Neistota, OOD a robustnos\u0165 vn\u00edmania<\/h2>\n<ul>\n<li><strong>Kalibr\u00e1cia pravdepodobnost\u00ed<\/strong>: teplotn\u00e1 kalibr\u00e1cia, Dirichlet prior, <em>expected calibration error<\/em> ako metrika.<\/li>\n<li><strong>OOD detekcia<\/strong>: energetick\u00e9 sk\u00f3re, Mahalanobisova vzdialenos\u0165 v priestore embedingu, \u201edeep ensembles\u201c.<\/li>\n<li><strong>Adverzari\u00e1lne a fyzik\u00e1lne \u00fatoky<\/strong>: augment\u00e1cie, randomized smoothing, robustn\u00e9 architekt\u00fary; valid\u00e1cia v pr\u00edtomnosti glare, da\u017e\u010fa, rolling-shutter.<\/li>\n<li><strong>F\u00fazia senzorov<\/strong>: redundancia (stereo+LiDAR+IMU), explicitn\u00e9 modely ch\u00fdb a \u201egating\u201c meran\u00ed v EKF\/UKF so oneskoren\u00edm.<\/li>\n<\/ul>\n<h2>Interpretovate\u013enos\u0165 modelov: od saliencie po kauzalitu<\/h2>\n<ul>\n<li><strong>Lok\u00e1lne met\u00f3dy<\/strong>: gradientov\u00e9 mapy, CAM\/Grad-CAM, occlusion testy pre detektory prek\u00e1\u017eok.<\/li>\n<li><strong>Glob\u00e1lne met\u00f3dy<\/strong>: SHAP\/Integrated Gradients pre rozhodovacie politiky; identifik\u00e1cia dominantn\u00fdch znakov (vietor, vzdialenos\u0165 k z\u00f3ne, r\u00fdchlos\u0165).<\/li>\n<li><strong>Konceptov\u00e1 interpret\u00e1cia<\/strong>: TCAV \u2013 \u201edo akej miery koncept <em>\u013eudsk\u00fd dav<\/em> ovplyv\u0148uje akciu spomali\u0165?\u201c<\/li>\n<li><strong>Kauz\u00e1lne grafy<\/strong>: SCM (Structural Causal Models) pre oddelenie korel\u00e1ci\u00ed od pr\u00ed\u010din; protikladn\u00e9 scen\u00e1re (counterfactuals) v simul\u00e1cii.<\/li>\n<\/ul>\n<h2>Vysvetlite\u013en\u00e9 rozhrania pre oper\u00e1torov a dozor<\/h2>\n<ul>\n<li><strong>\u201ePre\u010do\u201c a \u201epre\u010do nie\u201c<\/strong>: kr\u00e1tke textov\u00e9 zd\u00f4vodnenia politiky (\u201ezv\u00fd\u0161enie v\u00fd\u0161ky kv\u00f4li n\u00edzkemu <em>robustness degree<\/em> na STL: <em>sep \u2265 R<\/em>\u201c).<\/li>\n<li><strong>Konfiden\u010dn\u00e9 pruhy<\/strong>: vizualiz\u00e1cia neistoty predikci\u00ed a rizikov\u00e9ho rozpo\u010dtu v GCS (ground control station).<\/li>\n<li><strong>Audit trail<\/strong>: z\u00e1znam vstupov, medzi-reprezent\u00e1ci\u00ed a d\u00f4vodov z\u00e1sahu <em>shieldu<\/em> pre neskor\u0161iu forenziku.<\/li>\n<\/ul>\n<h2>Swarm bezpe\u010dnos\u0165: multi-agentn\u00e9 politiky a d\u00f4kazy<\/h2>\n<ul>\n<li><strong>Form\u00e1lne \u0161pecifik\u00e1cie pre roje<\/strong>: glob\u00e1lne LTL vlastnosti (\u201e\u017eiadne kol\u00edzie\u201c, \u201epripojenos\u0165 grafu \u2265 k\u201c) a lok\u00e1lne pravidl\u00e1 (vz\u00e1jomn\u00e1 separ\u00e1cia, finite-time konsenzus).<\/li>\n<li><strong>Distributed CBF<\/strong>: lok\u00e1lne QP s obmedzeniami od susedov; garantovan\u00e1 kol\u00edzna bezpe\u010dnos\u0165 bez centr\u00e1lnej autority.<\/li>\n<li><strong>Komunika\u010dn\u00e9 zlyhania<\/strong>: politiky <em>graceful degradation<\/em> pri strate spojenia (prechod na form\u00e1ciu s men\u0161ou hustotou, n\u00e1vratov\u00e9 body).<\/li>\n<\/ul>\n<h2>D\u00e1ta, bias a kur\u00e1torstvo: od zberu po verifik\u00e1ciu<\/h2>\n<ul>\n<li><strong>Dataset governance<\/strong>: p\u00f4vod, licencia, reprezentat\u00edvnos\u0165 naprie\u010d ODD; meranie a zmier\u0148ovanie biasu (sc\u00e9ny, po\u010dasie, infra\u0161trukt\u00fara).<\/li>\n<li><strong>Scelovanie scen\u00e1rov<\/strong>: \u201ehard case\u201c \u0165a\u017eisko (vietor v poryvoch, vt\u00e1ky, n\u00edzka doh\u013eadnos\u0165) a syntetika s fotorealizmom.<\/li>\n<li><strong>Valida\u010dn\u00e9 sady<\/strong>: roz\u010dlenenie pod\u013ea rizika; OOD testy; metriky bezpe\u010dnosti (min. separ\u00e1cia, rate poru\u0161en\u00ed STL).<\/li>\n<\/ul>\n<h2>Sk\u00fa\u0161ky a metriky: nad r\u00e1mec mAP a RMSE<\/h2>\n<ul>\n<li><strong>Safety KPI<\/strong>: minim\u00e1lna horizont\u00e1lna\/vertik\u00e1lna separ\u00e1cia, po\u010det z\u00e1sahov <em>shieldu<\/em> na hodinu, percentil 99.9 reak\u010dn\u00e9ho \u010dasu.<\/li>\n<li><strong>Formulov\u00e1 robustnos\u0165<\/strong>: priemern\u00fd a najhor\u0161\u00ed robustness degree STL po\u010das misie.<\/li>\n<li><strong>Rizikov\u00e9 metriky<\/strong>: CVaR\/TVaR z rozdelenia str\u00e1t v Monte Carlo simul\u00e1cii s poruchami vetra a zlyhan\u00edm senzorov.<\/li>\n<\/ul>\n<h2>Procesy a MLOps v regulovanom prostred\u00ed<\/h2>\n<ul>\n<li><strong>Traceability<\/strong>: v\u00e4zba po\u017eiadavka\u2013model\u2013test\u2013let; podpisovan\u00e9 artefakty, nemenn\u00e9 buildy.<\/li>\n<li><strong>Verifikovan\u00e9 kni\u017enice<\/strong>: deterministick\u00e9 z\u00e1vislosti, kontrolovan\u00e9 optimaliza\u010dn\u00e9 rutiny (QP\/SOCP) s d\u00f4kazmi konvergencie.<\/li>\n<li><strong>Kontinu\u00e1lna verifik\u00e1cia<\/strong>: ka\u017ed\u00e1 zmena modelu sp\u00fa\u0161\u0165a sadu form\u00e1lnych a simula\u010dn\u00fdch testov; br\u00e1ny nasadenia pod\u013ea rizikovej \u00farovne.<\/li>\n<li><strong>Post-deployment monitoring<\/strong>: telemetria bezpe\u010dnostn\u00fdch KPI, drift detekcia, mechanizmus r\u00fdchleho roll-backu.<\/li>\n<\/ul>\n<h2>Kyberbezpe\u010dnos\u0165 a odolnos\u0165 vo\u010di \u00fatokom na AI<\/h2>\n<ul>\n<li><strong>\u00datoky na vn\u00edmanie<\/strong>: fyzick\u00e9 markery, spoofing; viac-senzorov\u00e9 overovanie a sanity-checky geometrie.<\/li>\n<li><strong>\u00datoky na politiku<\/strong>: policy extraction\/poisoning; podpisy datasetov, kontroln\u00e9 s\u00fa\u010dty modelov, izolovan\u00e9 sp\u00fa\u0161\u0165acie prostredie.<\/li>\n<li><strong>Bezpe\u010dn\u00e9 aktualiz\u00e1cie<\/strong>: overen\u00e9 OTA, \u201ecanary\u201c flotily a staged rollout s monitorom rizika.<\/li>\n<\/ul>\n<h2>Fail-safe a \u201egraceful degradation\u201c<\/h2>\n<ul>\n<li><strong>Hierarchia re\u017eimov<\/strong>: auton\u00f3mny \u2192 konzervat\u00edvny \u2192 stabiliza\u010dn\u00fd \u2192 <em>hover<\/em>\/RTH \u2192 safe landing.<\/li>\n<li><strong>Bezpe\u010dnostn\u00e9 automaty<\/strong>: explicitn\u00e9 prechody pod\u013ea monitorov (latencia, neistota, poru\u0161enie STL); d\u00f4kladne testovan\u00e9 \u201edead-end free\u201c grafy.<\/li>\n<li><strong>Energetick\u00fd mana\u017ement<\/strong>: bezpe\u010dnostn\u00e9 rezervy bat\u00e9ri\u00ed viazan\u00e9 na ODD a alternat\u00edvne plochy.<\/li>\n<\/ul>\n<h2>Pr\u00edklad integra\u010dn\u00e9ho n\u00e1vrhu (sch\u00e9ma)<\/h2>\n<ol>\n<li><strong>\u0160pecifik\u00e1cia<\/strong>: ODD, STL vlastnosti, kontrakty komponentov.<\/li>\n<li><strong>N\u00e1vrh politiky<\/strong>: RL\/MPC s CBF safety layerom.<\/li>\n<li><strong>Form\u00e1lne overenie<\/strong>: reachability + model checking abstrahovan\u00e9ho automatu.<\/li>\n<li><strong>Simul\u00e1cie<\/strong>: Monte Carlo so scen\u00e1rmi OOD a poruchami; metriky KPI\/STL robustnosti.<\/li>\n<li><strong>HIL\/SIL<\/strong>: latencia v slu\u010dke, porovnanie s limitmi; valid\u00e1cia <em>shieldu<\/em>.<\/li>\n<li><strong>Letov\u00e9 testy<\/strong>: staged (tethered \u2192 uzavret\u00fd priestor \u2192 re\u00e1lna ODD), s runtime monitorom a audit trailom.<\/li>\n<li><strong>Prev\u00e1dzka<\/strong>: telemetria, drift detekcia, pravideln\u00e1 re-verifik\u00e1cia po aktualiz\u00e1cii.<\/li>\n<\/ol>\n<h2>Checklist pre bezpe\u010dn\u00fa AI v UAV<\/h2>\n<ul>\n<li>ODD zdokumentovan\u00e9 a naviazan\u00e9 na limity modelov a senzorov.<\/li>\n<li>STL\/LTL \u0161pecifik\u00e1cie pokr\u00fdvaj\u00fa separ\u00e1ciu, geofencing, energetiku a komunika\u010dn\u00e9 zlyhania.<\/li>\n<li>Safety layer (CBF\/QP) \u00faspe\u0161ne koriguje akcie &gt; 99.9 % pr\u00edpadov v simul\u00e1cii.<\/li>\n<li>OOD a neistota s\u00fa monitorovan\u00e9; definovan\u00e9 prahy pre <em>fallback<\/em>.<\/li>\n<li>Interpretovate\u013enos\u0165: aspo\u0148 jedna lok\u00e1lna a jedna glob\u00e1lna met\u00f3da v GCS.<\/li>\n<li>Audit trail: deterministick\u00e9 buildy, podpisy datasetov, pln\u00e1 trasovate\u013enos\u0165.<\/li>\n<li>Swarm: distribu\u010dn\u00e9 pravidl\u00e1 a d\u00f4kazy pripojenosti; re\u017eimy degrad\u00e1cie pri strate komunik\u00e1cie.<\/li>\n<\/ul>\n<p>Bezpe\u010dn\u00e1 AI pre UAV vy\u017eaduje s\u00fahru form\u00e1lnych met\u00f3d, robustn\u00e9ho riadenia a praktickej interpretovate\u013enosti. Politika, ktor\u00e1 je verifikovate\u013en\u00e1 vo\u010di explicitn\u00fdm po\u017eiadavk\u00e1m, doplnen\u00e1 o runtime \u201eshielding\u201c a transparentn\u00e9 vysvet\u013eovanie rozhodnut\u00ed, poskytuje predv\u00eddate\u013en\u00e9 spr\u00e1vanie aj v neide\u00e1lnych podmienkach. Tak\u00fdto pr\u00edstup umo\u017e\u0148uje \u0161k\u00e1lova\u0165 auton\u00f3miu od jednotliv\u00fdch dronov k rojom a z\u00e1rove\u0148 udr\u017ea\u0165 d\u00f4veru regul\u00e1torov, oper\u00e1torov a verejnosti.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>R\u00e1mec bezpe\u010dnej AI: interpretovate\u013en\u00e9 modely a verifikovate\u013en\u00e9 politiky s jasn\u00fdmi limitmi a auditovate\u013enos\u0165ou.<\/p>\n","protected":false},"author":44,"featured_media":88692,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2629],"tags":[2517,2518,1924,2372,2519,2520,1630,2521],"class_list":["post-48692","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-drony","tag-audit","tag-bezpecna-ai-pre-uav","tag-compliance","tag-fail-safe","tag-hazard-analysis","tag-interpretovatelnost","tag-limity","tag-verifikovatelne-politiky"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV - Podnik\u00e1m, lietam a relaxujem<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/\" \/>\n<meta property=\"og:locale\" content=\"sk_SK\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV - Podnik\u00e1m, lietam a relaxujem\" \/>\n<meta property=\"og:description\" content=\"R\u00e1mec bezpe\u010dnej AI: interpretovate\u013en\u00e9 modely a verifikovate\u013en\u00e9 politiky s jasn\u00fdmi limitmi a auditovate\u013enos\u0165ou.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/\" \/>\n<meta property=\"og:site_name\" content=\"Podnik\u00e1m, lietam a relaxujem\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/vrtulniky\/\" \/>\n<meta property=\"article:published_time\" content=\"2025-10-06T11:06:36+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.vrtulniky.sk\/news\/wp-content\/uploads\/2022\/08\/vrtulniky-sk.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1400\" \/>\n\t<meta property=\"og:image:height\" content=\"900\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"J\u00e1n Ga\u0161par\u00edk\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Autor\" \/>\n\t<meta name=\"twitter:data1\" content=\"J\u00e1n Ga\u0161par\u00edk\" \/>\n\t<meta name=\"twitter:label2\" content=\"Predpokladan\u00fd \u010das \u010d\u00edtania\" \/>\n\t<meta name=\"twitter:data2\" content=\"7 min\u00fat\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/\"},\"author\":{\"name\":\"J\u00e1n Ga\u0161par\u00edk\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#\\\/schema\\\/person\\\/d68e7bbcdd214c81eeacaeea7b95cfd1\"},\"headline\":\"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV\",\"datePublished\":\"2025-10-06T11:06:36+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/\"},\"wordCount\":1438,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/wp-content\\\/uploads\\\/2025\\\/12\\\/vzdelavanie-vysoka-skola-8692.jpg\",\"keywords\":[\"audit\",\"bezpe\u010dn\u00e1 AI pre UAV\",\"compliance\",\"fail-safe\",\"hazard analysis\",\"interpretovate\u013enos\u0165\",\"limity\",\"verifikovate\u013en\u00e9 politiky\"],\"articleSection\":[\"Drony\"],\"inLanguage\":\"sk-SK\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/\",\"url\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/\",\"name\":\"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV - Podnik\u00e1m, lietam a relaxujem\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/wp-content\\\/uploads\\\/2025\\\/12\\\/vzdelavanie-vysoka-skola-8692.jpg\",\"datePublished\":\"2025-10-06T11:06:36+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/#breadcrumb\"},\"inLanguage\":\"sk-SK\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"sk-SK\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/wp-content\\\/uploads\\\/2025\\\/12\\\/vzdelavanie-vysoka-skola-8692.jpg\",\"contentUrl\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/wp-content\\\/uploads\\\/2025\\\/12\\\/vzdelavanie-vysoka-skola-8692.jpg\",\"width\":1024,\"height\":1536,\"caption\":\"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#website\",\"url\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/\",\"name\":\"Podnik\u00e1m, lietam a relaxujem\",\"description\":\"Vrtu\u013en\u00edky.sk\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"sk-SK\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#organization\",\"name\":\"Podnik\u00e1m, lietam a relaxujem\",\"url\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"sk-SK\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/wp-content\\\/uploads\\\/2022\\\/08\\\/news-vrtulniky-sk-logo-e1660318023553.png\",\"contentUrl\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/wp-content\\\/uploads\\\/2022\\\/08\\\/news-vrtulniky-sk-logo-e1660318023553.png\",\"width\":201,\"height\":200,\"caption\":\"Podnik\u00e1m, lietam a relaxujem\"},\"image\":{\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/vrtulniky\\\/\"]},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/#\\\/schema\\\/person\\\/d68e7bbcdd214c81eeacaeea7b95cfd1\",\"name\":\"J\u00e1n Ga\u0161par\u00edk\",\"url\":\"https:\\\/\\\/www.vrtulniky.sk\\\/news\\\/author\\\/jan-gasparik\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV - Podnik\u00e1m, lietam a relaxujem","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/","og_locale":"sk_SK","og_type":"article","og_title":"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV - Podnik\u00e1m, lietam a relaxujem","og_description":"R\u00e1mec bezpe\u010dnej AI: interpretovate\u013en\u00e9 modely a verifikovate\u013en\u00e9 politiky s jasn\u00fdmi limitmi a auditovate\u013enos\u0165ou.","og_url":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/","og_site_name":"Podnik\u00e1m, lietam a relaxujem","article_publisher":"https:\/\/www.facebook.com\/vrtulniky\/","article_published_time":"2025-10-06T11:06:36+00:00","og_image":[{"width":1400,"height":900,"url":"https:\/\/www.vrtulniky.sk\/news\/wp-content\/uploads\/2022\/08\/vrtulniky-sk.jpg","type":"image\/jpeg"}],"author":"J\u00e1n Ga\u0161par\u00edk","twitter_card":"summary_large_image","twitter_misc":{"Autor":"J\u00e1n Ga\u0161par\u00edk","Predpokladan\u00fd \u010das \u010d\u00edtania":"7 min\u00fat"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/#article","isPartOf":{"@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/"},"author":{"name":"J\u00e1n Ga\u0161par\u00edk","@id":"https:\/\/www.vrtulniky.sk\/news\/#\/schema\/person\/d68e7bbcdd214c81eeacaeea7b95cfd1"},"headline":"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV","datePublished":"2025-10-06T11:06:36+00:00","mainEntityOfPage":{"@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/"},"wordCount":1438,"commentCount":0,"publisher":{"@id":"https:\/\/www.vrtulniky.sk\/news\/#organization"},"image":{"@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/#primaryimage"},"thumbnailUrl":"https:\/\/www.vrtulniky.sk\/news\/wp-content\/uploads\/2025\/12\/vzdelavanie-vysoka-skola-8692.jpg","keywords":["audit","bezpe\u010dn\u00e1 AI pre UAV","compliance","fail-safe","hazard analysis","interpretovate\u013enos\u0165","limity","verifikovate\u013en\u00e9 politiky"],"articleSection":["Drony"],"inLanguage":"sk-SK","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/","url":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/","name":"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV - Podnik\u00e1m, lietam a relaxujem","isPartOf":{"@id":"https:\/\/www.vrtulniky.sk\/news\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/#primaryimage"},"image":{"@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/#primaryimage"},"thumbnailUrl":"https:\/\/www.vrtulniky.sk\/news\/wp-content\/uploads\/2025\/12\/vzdelavanie-vysoka-skola-8692.jpg","datePublished":"2025-10-06T11:06:36+00:00","breadcrumb":{"@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/#breadcrumb"},"inLanguage":"sk-SK","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/"]}]},{"@type":"ImageObject","inLanguage":"sk-SK","@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/#primaryimage","url":"https:\/\/www.vrtulniky.sk\/news\/wp-content\/uploads\/2025\/12\/vzdelavanie-vysoka-skola-8692.jpg","contentUrl":"https:\/\/www.vrtulniky.sk\/news\/wp-content\/uploads\/2025\/12\/vzdelavanie-vysoka-skola-8692.jpg","width":1024,"height":1536,"caption":"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV"},{"@type":"BreadcrumbList","@id":"https:\/\/www.vrtulniky.sk\/news\/hardverova-verifikacia-a-xai-v-kritickych-systemoch-kluc-k-bezpecnej-autonomii-uav\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.vrtulniky.sk\/news\/"},{"@type":"ListItem","position":2,"name":"Hardv\u00e9rov\u00e1 verifik\u00e1cia a XAI v kritick\u00fdch syst\u00e9moch: K\u013e\u00fa\u010d k bezpe\u010dnej auton\u00f3mii UAV"}]},{"@type":"WebSite","@id":"https:\/\/www.vrtulniky.sk\/news\/#website","url":"https:\/\/www.vrtulniky.sk\/news\/","name":"Podnik\u00e1m, lietam a relaxujem","description":"Vrtu\u013en\u00edky.sk","publisher":{"@id":"https:\/\/www.vrtulniky.sk\/news\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.vrtulniky.sk\/news\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"sk-SK"},{"@type":"Organization","@id":"https:\/\/www.vrtulniky.sk\/news\/#organization","name":"Podnik\u00e1m, lietam a relaxujem","url":"https:\/\/www.vrtulniky.sk\/news\/","logo":{"@type":"ImageObject","inLanguage":"sk-SK","@id":"https:\/\/www.vrtulniky.sk\/news\/#\/schema\/logo\/image\/","url":"https:\/\/www.vrtulniky.sk\/news\/wp-content\/uploads\/2022\/08\/news-vrtulniky-sk-logo-e1660318023553.png","contentUrl":"https:\/\/www.vrtulniky.sk\/news\/wp-content\/uploads\/2022\/08\/news-vrtulniky-sk-logo-e1660318023553.png","width":201,"height":200,"caption":"Podnik\u00e1m, lietam a relaxujem"},"image":{"@id":"https:\/\/www.vrtulniky.sk\/news\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/vrtulniky\/"]},{"@type":"Person","@id":"https:\/\/www.vrtulniky.sk\/news\/#\/schema\/person\/d68e7bbcdd214c81eeacaeea7b95cfd1","name":"J\u00e1n Ga\u0161par\u00edk","url":"https:\/\/www.vrtulniky.sk\/news\/author\/jan-gasparik\/"}]}},"_links":{"self":[{"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/posts\/48692","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/users\/44"}],"replies":[{"embeddable":true,"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/comments?post=48692"}],"version-history":[{"count":0,"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/posts\/48692\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/media\/88692"}],"wp:attachment":[{"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/media?parent=48692"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/categories?post=48692"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.vrtulniky.sk\/news\/wp-json\/wp\/v2\/tags?post=48692"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}