CritLab at NFM 2025
Two CritLab members (Sean and Nafiz) attended The 17th NASA Formal Methods Symposium (NFM2025) at the College of William & Mary in Williamsburg, Virginia from June 11 to June 13.
Nafiz presented the paper Visualizing Temporal Interval Hierarchies co-authored with Nastaran and Dr. Kauffman.
