Improving the safety of cyber-physical systems | André Platzer is a Humboldt Professor for AI

Andre Platzer 04/19/18Подробнее

Andre Platzer, CMU – part 1 of 3 – HSSCPS 2017Подробнее

Extend flipped classrooms with virtual labs for cyber-physical systemsПодробнее

Keynote Survey: Logical Foundations of Cyber-Physical SystemsПодробнее

Meet Jim Woodcock: Editor-in-Chief of Research Directions Cyber-Physical SystemsПодробнее

09: Reactions & Delays - Logical Foundations of Cyber-Physical SystemsПодробнее

What is Intrinsic Stability and How Can It Transform Safety and Culture? -- Ep. 02Подробнее

Dr. Rajeev Alur | The Principles of Cyber-Physical Systems | ReviewПодробнее

15: Winning Strategies & Regions - Logical Foundations of Cyber-Physical SystemsПодробнее

Autonomy Talks - Georgios Bakirtzis: Compositional Cyber-Physical Systems TheoryПодробнее

A new AI-based approach for controlling autonomous robotsПодробнее