The Trustworthy Autonomous Cyber-Physical Systems Laboratory is focused on developing theories, algorithms, and tools to detect, verify, and enhance the safety and security of learning-enabled autonomous systems.