TimeMonday, 15 April 2019
Invited talk 08:30-09:30 Symbolic-Numeric Methods in Reasoning about the Design of Future Air Traffic Management
Henk Blom (Chair: Air Traffic Management Safety, TU Delft and Principal Scientist at NLR, Amsterdam)
Contribution 09:30-10:00 Enhancing Analysis of Cyber-Physical Systems Through Stochastic Optimization
Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos and Giulia Pedrielli
10:00-10:30Coffee Break
Contributions 10:30-11:00 Correct-by-design robust control for stochastic systems via approximate simulation relations
Sofie Haesaert and Sadegh Soudjani
11:00-11:30 Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems
Abolfazl Lavaei and Majid Zamani
11:30-12:00 Sampling-Free Enforcement of Non-Gaussian Chance Constraints via Fourier Transforms
Abraham P. Vinod, Vignesh Sivaramakrishnan and Meeko Oishi
Invited talk 13:30-14:30 Machine Learning for Cyber-physical Systems
Sebastian Trimpe (Max Planck Institute for Intelligent Systems, Germany)
Contribution 14:30-15:00 Neural State Classification for Hybrid Systems
Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka and Scott D. Stoller
15:00-15:30Coffee Break
Contributions 15:30-16:00 Preview of Predictive Monitoring for Signal Temporal Logic with Probabilistic Guarantees
Xin Qin and Jyotirmoy Deshmukh
16:00-16:30 Limit Reachability for Model-Free Reinforcement Learning of Omega-Regular Objectives
Ashutosh Trivedi, Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi and Dominik Wojtczak
16:30-17:00 Correct-by-construction Policies for POMDPs
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer and Leonore Winterer
17:00-17:15Closing Remarks

© SNR 2019