[Jan '23] Collaborative work with Lars Lindemann and Xin on predictive runtime monitoring was accepted to ICCPS 2023.
[Jan '23] Navid's paper on neurosymbolic verification was accepted to ICCPS 2023.
[Jan '23] Navid's paper on risk-estimation for neural controller synthesis was accepted to ACC 2023.
[Dec '22] The first Ph.D. from CPS-VIDA escapes with a doctorate! Congratulations Dr. Sara Mohammadinejad!!
[Nov '22] Aniruddh's paper on learning performance graphs from task demonstrations was accepted in IEEE Robotics and Automation Letters, and will be presented at ICRA 2023
[Nov '22] Started new sponsored project with the fine folks at Siemens Corporate Research in Princeton, NJ
[Jun '22] Received new grant from USC Airbus Institute for Engineering Research. This is a joint grant with Prof. Jay Jung at the Korea Aerospace University (KAU)
[Aug '21] Tool paper on PerceMon: a tool to monitor the quality of a CNN used for object detection accepted at the RV 2021 conference. Anand developed an algorithm for monitoring specifications in STQL.
[Jul '21] Paper on Non-Markovian Reinforcement Learning using Fractional Dynamics accepted at CDC 2021. Gaurav shows how we can bound how far a policy learned using model-based RL can be from the optimal policy for a history dependent process.
[Jun '21] Paper on Differential Verification for Recurrent Neural Networks accepted at FORMATS 2021. Sara's joint work with Chao Wang and Brandon Paulsen, where we extend Brandon's work on differential verification for ReLU networks to RNNs.
[Jun '21] Received new FMitF grant on Synthesis of Quantitative Network Analytics: From Left-of-Launch to Right-of-Boom. Mukund will
be our glorious leader in designing a new query language for network analytics, Srivatsan and Mike will
teach us what security experts really care about. May our research be useful! Contact me if you are a grad student interested in working in the cyber-security domain.
[Jun '21] Paper on Learning from Demonstrations using STL for Stochastic and Continuous Environments accepted at IEEE Robotics and Automation Letters.
Aniruddh shows how our previous CoRL work can be extended to stochastic and continuous environments.
[Jun '21] Paper on Learning Spatio-Temporal Reach and Escape properties accepted at ATVA 2021. This paper came about
after Sara, inspired by Laura's excellent tutorial at RV 2020,
took upon herself to learn STREL formulas.
[Apr '21] Paper on Trust-based Autonomous Intersection Management accepted at IV 2021. Good work Mingxi!
[Feb '21] Received the NSF 2021 CAREER Award on developing safer deep reinforcement learning for autonomous mobile systems. May our research escape the confines of papers and into the real world!
[Dec '20] Paper on a Trust framework for Multi-agent Systems accepted at AAMAS 2021. (Kudos to Mingxi Cheng for applying Subjective Logic based trust notions to the world of AVs!)
[Oct '20] Paper on using STL to guide learning from demonstrations accepted at CORL 2020.
(Kudos to Aniruddh for some really exciting work that learns effective robot policies with far fewer demonstrations than existing LFD techniques!)
[Oct '20] Paper on Requirements and Debugging for Autonomous Mobile Systems accepted
at MEMOCODE 2020. Thanks to my collaborators Tom and Bardh from Toyota R&D!
[Oct '20] Co-Chair of RV 2020
with Dejan Nickovic. Had a fun
virtual conference, but missing in-person conferences even more now!
[Sep '20] Received new CPS Medium grant for doing
research on 'Spatio-Temporal Logics for Analyzing and Querying
Perception Systems.' PI Georgios Fainekos @ ASU is the boss! Looking
forward to the collaboration with Georgios and Yezhou Yang. May our
research prove useful!
[Jul '20] Paper on clairvoyant monitoring accepted at FORMATS 2020 (Kudos to Xin for all her hard work)
[Jul '20] Paper on mining shape expressions accepted at EMSOFT 2020
(Thanks to the Viennese collaborators Ezio, Dejan, Cristi & Felix!)
Address: