The rapidly growing application of machine learning techniques in cyber-physical systems leads to better solutions and products in terms of adaptability, performance, efficiency, functionality and usability. However, cyber-physical systems are often safety critical, e.g., self-driving cars or medical devices, and the need for verification against potentially fatal accidents is of key importance.
Verification and Software Engineering
The growing pervasiveness of computerised systems makes our society vulnerable to faults or attacks on such systems. Rigorous software engineering methods and supporting efficient verification tools are crucial to counter this threat.