Luke Baird

According to our database, Luke Baird authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Interval Signal Temporal Logic From Natural Inclusion Functions.

Luke Baird, Akash Harapanahalli, Samuel Coogan

IEEE Control. Syst. Lett., 2023

Runtime Assurance from Signal Temporal Logic Safety Specifications.

Luke Baird, Samuel Coogan

Proceedings of the American Control Conference, 2023

2019

Automated Dynamic Detection of Self-Hiding Behavior.

Luke Baird, Zhiyong Shan, Vinod Namboodiri

Proceedings of the 16th IEEE International Conference on Mobile Ad Hoc and Sensor Systems Workshops, 2019