关注
Luke Baird
Luke Baird
PhD Student, Georgia Institute of Technology
在 gatech.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
32019
Interval Signal Temporal Logic from Natural Inclusion Functions
L Baird, A Harapanahalli, S Coogan
IEEE Control Systems Letters, 2023
12023
Runtime Assurance from Signal Temporal Logic Safety Specifications
L Baird, S Coogan
2023 American Control Conference (ACC), 3535-3540, 2023
12023
Provably Secure SCADA Architectures
L Baird
2020
Automated Dynamic Detection of Self-Hiding Behavior in Android Apps
L Baird, S Rodgers
2019
系统目前无法执行此操作，请稍后再试。
文章 1–5