[email protected]
About
CV
Publications
Teaching
Code + Notes
Learn about LTL misconceptions: https://ltl-tutor.xyz/
SLC, UT : February 2025
