Alyssa Byrnes

According to our database, Alyssa Byrnes authored at least 3 papers between 2018 and 2023.

Collaborative distances:

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

2023

Using Formal Frameworks to Reduce Mode Confusion in Cyber-Physical Human-in-the-Loop Systems.

Alyssa Byrnes

PhD thesis, 2023

2020

Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking.

Alyssa Byrnes, Cynthia Sturton

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2018

On Using Drivers' Eyes to Predict Accident-Causing Drowsiness Levels.

Alyssa Byrnes, Cynthia Sturton

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018