Graduate Logic Seminar
Chiara Travesset
Event Details
Date
Monday, October 30, 2023
Time
3:30 p.m.
Location
B223 Van Vleck Hall
Description
Mission-time LTL (MLTL) Formula Validation Via Regular Expressions
Cost
Free