Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/snr/0001JKQ00W19,
  author       = {Nils Jansen and
                  Sebastian Junges and
                  Joost{-}Pieter Katoen and
                  Tim Quatmann and
                  Bernd Becker and
                  Ralf Wimmer and
                  Leonore Winterer},
  title        = {Correct-by-construction policies for POMDPs},
  booktitle    = {{SNR}},
  pages        = {6--8},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313366},
  doi          = {10.1145/3313149.3313366},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/snr/0001JKQ00W19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snr/Blom19,
  author       = {Henk Blom},
  title        = {Symbolic-numeric methods in reasoning about the design of future air
                  traffic management},
  booktitle    = {{SNR}},
  pages        = {1--2},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313373},
  doi          = {10.1145/3313149.3313373},
  timestamp    = {Wed, 23 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snr/Blom19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snr/HaesaertS19,
  author       = {Sofie Haesaert and
                  Sadegh Soudjani},
  title        = {Achievements in correct-by-design control for stochastic systems},
  booktitle    = {{SNR}},
  pages        = {12--15},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313368},
  doi          = {10.1145/3313149.3313368},
  timestamp    = {Wed, 23 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snr/HaesaertS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snr/HahnPSS0W19,
  author       = {Ernst Moritz Hahn and
                  Mateo Perez and
                  Sven Schewe and
                  Fabio Somenzi and
                  Ashutosh Trivedi and
                  Dominik Wojtczak},
  title        = {Limit reachability for model-free reinforcement learning of {\(\omega\)}-regular
                  objectives},
  booktitle    = {{SNR}},
  pages        = {16--18},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313369},
  doi          = {10.1145/3313149.3313369},
  timestamp    = {Wed, 23 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snr/HahnPSS0W19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snr/InanlouganjiYFP19,
  author       = {Alireza Inanlouganji and
                  Shakiba Yaghoubi and
                  Georgios Fainekos and
                  Giulia Pedrielli},
  title        = {Falsification of cyber-physical systems through multi-fidelity stochastic
                  optimization},
  booktitle    = {{SNR}},
  pages        = {22--23},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313371},
  doi          = {10.1145/3313149.3313371},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/snr/InanlouganjiYFP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snr/LavaeiZ19,
  author       = {Abolfazl Lavaei and
                  Majid Zamani},
  title        = {Compositional finite abstractions for large-scale stochastic switched
                  systems},
  booktitle    = {{SNR}},
  pages        = {3--5},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313347},
  doi          = {10.1145/3313149.3313347},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snr/LavaeiZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snr/PhanPZGSS19,
  author       = {Dung T. Phan and
                  Nicola Paoletti and
                  Timothy Zhang and
                  Radu Grosu and
                  Scott A. Smolka and
                  Scott D. Stoller},
  title        = {Neural state classification for hybrid systems},
  booktitle    = {{SNR}},
  pages        = {24--27},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313372},
  doi          = {10.1145/3313149.3313372},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/snr/PhanPZGSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snr/QinD19,
  author       = {Xin Qin and
                  Jyotirmoy V. Deshmukh},
  title        = {Preview of predictive monitoring for signal temporal logic with probabilistic
                  guarantees},
  booktitle    = {{SNR}},
  pages        = {19--21},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313370},
  doi          = {10.1145/3313149.3313370},
  timestamp    = {Wed, 23 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snr/QinD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snr/VinodSO19,
  author       = {Abraham P. Vinod and
                  Vignesh Sivaramakrishnan and
                  Meeko M. K. Oishi},
  title        = {Sampling-free enforcement of non-gaussian chance constraints via fourier
                  transforms},
  booktitle    = {{SNR}},
  pages        = {9--11},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149.3313367},
  doi          = {10.1145/3313149.3313367},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/snr/VinodSO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/snr/2019,
  editor       = {Sriram Sankaranarayanan and
                  Sadegh Soudjani},
  title        = {Proceedings of the Fifth International Workshop on Symbolic-Numeric
                  methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec,
                  Canada, April 15, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313149},
  doi          = {10.1145/3313149},
  isbn         = {978-1-4503-6697-7},
  timestamp    = {Wed, 23 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snr/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}