default search action
Search dblp for Publications
export results for "toc:db/conf/snr/snr2019.bht:"
@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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Correct-by-construction policies for POMDPs}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {6--8}, publisher = {{ACM}}, 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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Symbolic-numeric methods in reasoning about the design of future air traffic management}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {1--2}, publisher = {{ACM}}, 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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Achievements in correct-by-design control for stochastic systems}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {12--15}, publisher = {{ACM}}, 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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Limit reachability for model-free reinforcement learning of {\(\omega\)}-regular objectives}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {16--18}, publisher = {{ACM}}, 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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Falsification of cyber-physical systems through multi-fidelity stochastic optimization}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {22--23}, publisher = {{ACM}}, 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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Compositional finite abstractions for large-scale stochastic switched systems}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {3--5}, publisher = {{ACM}}, 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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Neural state classification for hybrid systems}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {24--27}, publisher = {{ACM}}, 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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Preview of predictive monitoring for signal temporal logic with probabilistic guarantees}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {19--21}, publisher = {{ACM}}, 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}, editor = {Sriram Sankaranarayanan and Sadegh Soudjani}, title = {Sampling-free enforcement of non-gaussian chance constraints via fourier transforms}, booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec, Canada, April 15, 2019}, pages = {9--11}, publisher = {{ACM}}, 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} }
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.