Jenna Elwing

According to our database, Jenna Elwing authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.

Jenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier

Proceedings of the iFM 2023 - 18th International Conference, 2023