Research, courses, software, and resources from the Laboratory for Temporal Logic at Iowa State University.
Course materials, lectures, and lab videos.