Some of @verivital at @TheOfficialACM Embedded Systems Week for #EMSOFT'19 & @f1tenth, thanks to all! @pmusau13 @dieman95 @VUEngineering
— Taylor T Johnson (@taylorjohnson) October 17, 2019
Tran presented our EMSOFT paper "Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control":https://t.co/XGHVosWVpR pic.twitter.com/8W7By9F80F