Folgen
Luke Baird
Luke Baird
PhD Student, Georgia Institute of Technology
Bestätigte E-Mail-Adresse bei gatech.edu
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5