Laboratory for Temporal Logic – Iowa State University of Science and Technology

Lab photo: inside the test section of the 80x120 foot wind tunnel at
NASA Ames Research Center

Installing R2U2 on the Swift UAS

Seedling grant team: runtime system health management for the N-211 Hanger!

Outreach: fun with the next generation

NSF CPS PI Meeting

Can we adapt R2U2 for Robonaut2?

Exploring intelligent sensor fusion for cockpits

Flight test: DragonEye UAS

PhD positions available: apply here

Postdoc position available: apply here

The Laboratory for Temporal Logic is proud to collaborate with the ; we look forward to future lab members from JA!