![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
5th SNR 2019: Montreal, QC, Canada
- Sriram Sankaranarayanan, Sadegh Soudjani:
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. ACM 2019, ISBN 978-1-4503-6697-7 - Henk Blom:
Symbolic-numeric methods in reasoning about the design of future air traffic management. 1-2 - Abolfazl Lavaei, Majid Zamani:
Compositional finite abstractions for large-scale stochastic switched systems. 3-5 - Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
, Bernd Becker
, Ralf Wimmer, Leonore Winterer:
Correct-by-construction policies for POMDPs. 6-8 - Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
:
Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. 9-11 - Sofie Haesaert, Sadegh Soudjani:
Achievements in correct-by-design control for stochastic systems. 12-15 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Limit reachability for model-free reinforcement learning of ω-regular objectives. 16-18 - Xin Qin, Jyotirmoy V. Deshmukh:
Preview of predictive monitoring for signal temporal logic with probabilistic guarantees. 19-21 - Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos
, Giulia Pedrielli
:
Falsification of cyber-physical systems through multi-fidelity stochastic optimization. 22-23 - Dung T. Phan, Nicola Paoletti
, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural state classification for hybrid systems. 24-27
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.