Autonomous systems are emerging technologies that are impacting a range of industries and many areas of human life nowadays. Driverless cars have started appearing on public roads, and collaborative robots have started working with human workers on the factory floor. Autonomous technologies offer a significant opportunity to enhance the economy and society, but they may also cause fatal harm if they malfunction.
There are great open challenges of testing these autonomous systems, to prevent their malfunctioning, and to ensure their safe and fault-free behavior. T3AS project is developing a novel theoretical foundation based on artificial intelligence, with a set of methods and tools, for making AI-based autonomous systems dependable and safe for their users and the environment.