Login / Signup
Alyssa Byrnes
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Traffic Safety
Reactive Systems
Alternating Time Temporal Logic
Model Checking
Top Venues
ITSC
</>
Publications
</>
Alyssa Byrnes
,
Cynthia Sturton
Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking.
ITSC
(2020)
Alyssa Byrnes
,
Cynthia Sturton
On Using Drivers' Eyes to Predict Accident-Causing Drowsiness Levels.
ITSC
(2018)