default search action

combined dblp search
author search
venue search
publication search

ask others

5th SNR 2019: Montreal, QC, Canada

> Home > Conferences and Workshops > SNR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/snr/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/2019
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
- view
  authority control:
- export record
  dblp key:
  - conf/snr/Blom19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/Blom19
Henk Blom:
Symbolic-numeric methods in reasoning about the design of future air traffic management. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/snr/LavaeiZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/LavaeiZ19
Abolfazl Lavaei, Majid Zamani:
Compositional finite abstractions for large-scale stochastic switched systems. 3-5
- view
  authority control:
- export record
  dblp key:
  - conf/snr/0001JKQ00W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/0001JKQ00W19
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer:
Correct-by-construction policies for POMDPs. 6-8
- view
  authority control:
- export record
  dblp key:
  - conf/snr/VinodSO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/VinodSO19
Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi:
Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. 9-11
- view
  authority control:
- export record
  dblp key:
  - conf/snr/HaesaertS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/HaesaertS19
Sofie Haesaert, Sadegh Soudjani:
Achievements in correct-by-design control for stochastic systems. 12-15
- view
  authority control:
- export record
  dblp key:
  - conf/snr/HahnPSS0W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/HahnPSS0W19
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
- view
  authority control:
- export record
  dblp key:
  - conf/snr/QinD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/QinD19
Xin Qin, Jyotirmoy V. Deshmukh:
Preview of predictive monitoring for signal temporal logic with probabilistic guarantees. 19-21
- view
  authority control:
- export record
  dblp key:
  - conf/snr/InanlouganjiYFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/InanlouganjiYFP19
Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli:
Falsification of cyber-physical systems through multi-fidelity stochastic optimization. 22-23
- view
  authority control:
- export record
  dblp key:
  - conf/snr/PhanPZGSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/PhanPZGSS19
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural state classification for hybrid systems. 24-27

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.