2,090 followers
At #ATVA-2022, our researchers in collaboration with @UNCResearch presented a technique for checking scheduling violations of controllers. From pacemakers to autonomous #vehicles, this technique can make countless machines safer- https://t.co/Jju3HLnGjo @U