LB4TL: Smooth Semantics for Temporal Logic for Scalable Training of Neural Feedback Controllers
Talk, The 8th IFAC Conference on Analysis and Design of Hybrid Systems, Boulder, Colorado
Talks and presentations
Scaling Learning Based Policy Optimization for Temporal Tasks via Dropout
Talk, 43rd Southern California Control Workshop, Los Angeles, California
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems
Conference Proceedings Talk, 14TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, San Antonio Texas, USA
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Conference proceedings talk, Annual American Control Conference ACC 2023, San Diego, CA
Generalized chi-squared detector for LTI systems with non-Gaussian noise
Poster Presentation Talk, Texas Systems Day 2019, College Station, Texas, USA
A comparison of stealthy sensor attacks on control systems
Conference proceedings talk, Annual American Control Conference ACC 2018, Milwaukee, Winsconsin, USA
A comparison of stealthy sensor attacks on control systems
Poster Presentation Talk, Texas Systems Day 2018, Dallas, Texas, USA