| Time | Monday, 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:30 | Coffee 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 | |
| 12:00-13:30 | Lunch | |
| 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:30 | Coffee 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:15 | Closing Remarks |
© SNR 2019