| emsoft | participants

Taylor T. Johnson

EMSOFT 2019: 19th International Conference on Embedded Software

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control

Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, and Xenofon D. Koutsoukos

EMSOFT 2017: 17th International Conference on Embedded Software

Operational Models for Piecewise-Smooth Systems

Andrew Sogokon, Khalil Ghorbal, and Taylor T. Johnson