Modelling, Verification, Performance Analysis, Refinement, Synthesis and Machine Learning for Cyber Physical Systems (2024)
Welcome to Modelling, Verification, Performance Analysis, Refinement, Synthesis and Machine Learning for Cyber Physical Systems Organizer: Kim Guldstrand Larsen Lecturers: Kim Guldstrand Larsen, Marius Mikucionis, Peter Gjøl Jensen, Ulrik Nyman ECTS: 3 Date/Time: 2, 3, 4, 5, 6 December 2024 Deadline: 11 November 2024 Max no. Of participants: 30 Description: Timed automata and games, priced timed automata and energy automata have emerged […]