SNR

Keyphrases

Publications

volume 361, 2022

Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021. SNR 361 (2022)

2021

volume 331, 2021

Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020. SNR 331 (2021)

2020

2019

Sofie Haesaert, Sadegh Soudjani
Achievements in correct-by-design control for stochastic systems. SNR (2019)
Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. SNR (2019)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
Correct-by-construction policies for POMDPs. SNR (2019)
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019 SNR (2019)
Abolfazl Lavaei, Majid Zamani
Compositional finite abstractions for large-scale stochastic switched systems. SNR (2019)
Henk Blom
Symbolic-numeric methods in reasoning about the design of future air traffic management. SNR (2019)
Xin Qin, Jyotirmoy V. Deshmukh
Preview of predictive monitoring for signal temporal logic with probabilistic guarantees. SNR (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR (2019)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural state classification for hybrid systems. SNR (2019)
Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli
Falsification of cyber-physical systems through multi-fidelity stochastic optimization. SNR (2019)