Presentations and Invited Talks

  1. Present a talk on Automated Trace Generation for Signal Temporal Logic at RTSS, 2018

  2. Present a talk on Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems at Allerton, 2018

  3. Present a talk on Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems at Midwest Verification Day, 2018

  4. Present a talk on Simulation of affine hybrid systems at Summer STEM Program, 2017

  5. Present a talk on Bounded safety analysis of parameterized linear hybrid systems at Midwest Verification Day, 2016

  6. Present a talk on Bounded error flowpipe computation of parameterized linear systems at EMSOFT, 2015

  7. Invited to participate in the discussion on Computer-Assisted Engineering for Robotics and Autonomous Systems at Dagstuhl Seminar 17071, 2016