Follow
Luke Baird
Luke Baird
PhD Student, Georgia Institute of Technology
Verified email at gatech.edu
Title
Cited by
Cited by
Year
Automated dynamic detection of self-hiding behavior
L Baird, Z Shan, V Namboodiri
2019 IEEE 16th International Conference on Mobile Ad Hoc and Sensor Systems …, 2019
22019
Runtime Assurance from Signal Temporal Logic Safety Specifications
L Baird, S Coogan
2023 American Control Conference (ACC), 3535-3540, 2023
12023
Interval Signal Temporal Logic from Natural Inclusion Functions
L Baird, A Harapanahalli, S Coogan
IEEE Control Systems Letters, 2023
2023
Provably Secure SCADA Architectures
L Baird
2020
Automated Dynamic Detection of Self-Hiding Behavior in Android Apps
L Baird, S Rodgers
2019
The system can't perform the operation now. Try again later.
Articles 1–5