More productive development and maintainance of reliable and secure software
Effective and affordable methods for validating cyber-physical systems are a basic prerequisite for the successful utilization of autonomous and CPS-based products, such as those currently being designed and developed in the automobile (highly-automated driving), aerospace (autonomous air taxis) and industrial automation (adaptable factories) industries.
We take a special interest in:
We rely primarily on mathematical-logical methods (linear and non-linear programming, logical feasibility, model testing) for solving derived issues.
The resulting research contributions are essential in the development of innovative methods for validating and certifying autonomous cyber-physical systems. In particular, this research enables the use of AI technologies in mission-critical software products and services.