BEGIN:VCALENDAR METHOD:PUBLISH PRODID:-//Apple Computer\, Inc//iCal 1.0//EN X-WR-CALNAME;VALUE=TEXT:USC VERSION:2.0 BEGIN:VEVENT DESCRIPTION:Speaker: Nikos Arechiga, Toyota Research Institute Talk Title: Scalable Automatic Reasoning in Model-Based Development Abstract: Recent progress in vehicle autonomy and robotics has increased the importance of system assurance, ranging from safety to security concerns. These assurances require systems that are able to reason about large and complex system designs, often containing large lookup tables as well as AI components.\n \n This talk presents a general-purpose technique that leverages machine learning to automatically learn logical antecedents and consequents to simplify a complex formal verification task.\n \n We also describe a specialization of this technique that has been used within Toyota to reason about software with large lookup tables, including a public benchmark.\n \n Finally, we look to the future and describe emerging research directions in automatic reasoning. Biography: Dr. Nikos Arechiga graduated with a Ph. D. in Electrical and Computer Engineering at Carnegie Mellon working with Professor Bruce Krogh. His graduate work touched on automatic inference of barrier certificates to simplify proofs of safety as well as techniques for provably-correct controller synthesis.\n \n He has been working at Toyota for two years, and has been involved with developing scalable reasoning techniques to address complex models with lookup tables, and is recently considering the problem of reasoning about AI components.\n Host: Paul Bogdan SEQUENCE:5 DTSTART:20170913T140000 LOCATION:EEB 248 DTSTAMP:20170913T140000 SUMMARY:Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems UID:EC9439B1-FF65-11D6-9973-003065F99D04 DTEND:20170913T150000 END:VEVENT END:VCALENDAR