Blog Posts
Verifying Distributed Adaptive Real-Time Systems
In 2011, the U.S. Government maintained a fleet of approximately 8,000 unmanned aerial systems (UAS), commonly referred to as "drones," a number that continues to grow. "No weapon system has …
• By James Edmondson, Sagar Chaki
In Artificial Intelligence Engineering
Building Next-generation Autonomous Systems
An autonomous system is a computational system that performs a desired task, often without human guidance. We use varying degrees of autonomy in robotic systems for manufacturing, exploration of planets …