+********************************************************************** * * * Einladung * * * * Informatik-Kolloquium * * * +********************************************************************** Zeit: Dienstag, 10. September 2024, 14.00 Uhr Ort: Raum 9222, Gebäude E3, Ahornstr. 55 Referentin: Prof. Dr. Paula Herber University of Münster Title: Formal Verification of Cyber-physical Systems using Domain-specific Abstractions Abstract: Cyber-physical systems have become ubiquitous in our daily lives, and their complexity continually evolves to unprecedented levels. In addition to their heterogeneity and interaction with a physical environment, we see a tremendous increase in the use of learning to make autonomous decisions in dynamic environments. These developments pose significant challenges for ensuring the safety and reliability of cyber-physical systems. Formal methods have the potential to guarantee crucial safety properties under all circumstances, but are incredibly expensive and severely suffer from scalability issues. In this talk, I will summarize some of our recent efforts towards reusable specification and more scalable verification of cyber-physical systems using domain-specific abstractions. Es laden ein: die Dozentinnen und Dozenten der Informatik