Verifying Mission-Critical AI Programs | Two Minute Papers #179

die foto's colors dit is toen minuut pepers met cadeaus olijf this paper dat mark en tiende user fireworks dat you're used to in twee minuten papers profiel dat is very important story that nice to be told to add your in computer science wie encounter many interesting problems by finding de soorten scrappy twin to give an streets and a city or measuring the stability of a bridge up until a few years ago these were almost exclusively soft white for the channel and graphics this means a glass of technisch dat wordt design by and by scientists en daar of een specifiek tot de probleem we hebben trend die van probleem die vriend elke witte en fast-forward we few years ago uw eetlust en amazing resurgence of neural networks and learning and great as many problems that were previously thought to be aan solvabel crumbles quickly one after another nou het is klier dat die ager vr is coming and clearly daar possible applications of it dat me niet to be very conscious weg sinds we design this traditional technisch bij hen de video cases of een oom lucas die is outdoor items of simple enough that we can look ander de world and make reasonable assumptions this is not the case with your own adwords we know that in some cases meer alet were some be liable we dit is mijn markably hard to identify these veel your kisses for is dus earlier goedhart debat dus techniek bij de neem pics to kick drum i could make de crew drying advocaat in het frans leading to reveal image adwords spectacularly in many cases met twitter was alsof full of ik samples met wie liam using gele jurk is een beyond the and reliability wie heeft een mars foger probleem en dat problem is that were sharia lichaam bos in en word you're a piece of wood is kast en fr sa riera atom waarin een amusing ik simpel the added a tiny bit of berlie perceptible mooiste this image to make de diep neuraal netwerk miss identifier baas voor een astrid we kennen van training en nieuwe your network dit is pacific elite tailored to break de wannabe half opening dat de possibility of target het turkse gasten to alleviate this problem it is always a good idea to mee sorry dat is nu al adwords of soort vriend en adversary olympus is wel met how do i know how many possible on earth ariël ik samples access dat we haven't found yet de paper discusses ow of verifying import en properties of nieuwe monitors for instance i can measure the adverse aerial robas mes of social network en dit is super useful piece het cares als information gathered a possible for simple as that could break and learning system de peper also contains en max little experiment met airborne collision avoidance system de goal hier is een voeding middag collisions between commercial aircraft waar minima zing de number of alerts is een smartcard experiment weekend frame en your network to the place en excisting system maar in this case station euro network hoe het heft to be 5 uit en het is na finally a possibility nou make no mistake this does not mean that there any sort of aircraft safety systems diploid in de industrie darwin lying van je rollators no no absolutely love this small scale wanneer skye en of experiment that may prove to be a first step to something wie lakeside denk dit is one of those things for dubbel pepers dat een van de we dat de you sowieso fireworks meest michiel detail in mijn part of the future dit is een step towards the future waar weekend proef dat de learning the great hem is guaranteed to work in mission critical systems hij wordt also like to note that even if this episode is not meant to go viral the internet with tiel en import hem story to be true normally creating videos like this would be a financial suicide wat wie jouw network by gerald biglia stable support from you on page you and that's what it is all about working class a views and spending more time talking about what's really important absolutely amazing thai sorry wat chinian folio generous support en azië nextime [Muziek] ja [Muziek]