Alyssa Byrnes
According to our database1,
Alyssa Byrnes
authored at least 3 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Using Formal Frameworks to Reduce Mode Confusion in Cyber-Physical Human-in-the-Loop Systems.
PhD thesis, 2023
2020
Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
2018
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018