Logo: University of Southern California

Events Calendar


  • Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems

    Wed, Sep 13, 2017 @ 02:00 PM - 03:00 PM

    Ming Hsieh Department of Electrical and Computer Engineering

    Conferences, Lectures, & Seminars


    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.

    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.

    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.

    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.

    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.


    Host: Paul Bogdan

    Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248

    Audiences: Everyone Is Invited

    Contact: Estela Lopez

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File

Return to Calendar