Evidence for systems that act in the world.

MAAT Institute develops open methods and software to verify and evaluate cyber-physical systems: aircraft, spacecraft, drones, vehicles and autonomous machines.