Login / Signup
Jeremy Sorkin
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Semistructured Data
Deterministic Finite Automata
Temporal Logic
Regular Expressions
Top Venues
iFM
</>
Publications
</>
Jenna Elwing
,
Laura Gamboa-Guzman
,
Jeremy Sorkin
,
Chiara Travesset
,
Zili Wang
,
Kristin Yvonne Rozier
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.
iFM
(2023)