Modelling, Verification, Performance Analysis, Refinement, Synthesis and Machine Learning for Cyber Physical Systems (2024)
Aalborg University TBA AalborgWelcome 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 […]