|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Anne Remke, Dung Hoang Tran (eds.) |
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella |
Robot Swarms as Hybrid Systems: Modelling and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021., pp. 61-77, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Neelanjana Pal, Taylor T. Johnson |
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021., pp. 79-88, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Stefan Ratschan (eds.) |
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards |
Time-Staging Enhancement of Hybrid System Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021., pp. 25-43, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle |
Verification of Sigmoidal Artificial Neural Networks using iSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021., pp. 45-60, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luan Viet Nguyen, Wesam Haddad, Taylor T. Johnson |
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021., pp. 9-23, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Rauh, Julia Kersten |
Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020., pp. 18-32, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Luc Jaulin, Benoît Desrochers |
Enclosing the Sliding Surfaces of a Controlled Swing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020., pp. 43-55, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Dreossi, Giorgio Ballardin, Parth Gupta, Jan Bakus, Yu-Hsiang Lin, Vamsi Salaka |
Analysis of E-commerce Ranking Signals via Signal Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020., pp. 33-42, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Auguste Bourgois, Luc Jaulin |
Interval centred form for proving stability of non-linear discrete-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020., pp. 1-17, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sofie Haesaert, Sadegh Soudjani |
Achievements in correct-by-design control for stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 12-15, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi |
Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 9-11, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker 0001, Ralf Wimmer 0001, Leonore Winterer |
Correct-by-construction policies for POMDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 6-8, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Sadegh Soudjani (eds.) |
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![ACM, 978-1-4503-6697-7 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abolfazl Lavaei, Majid Zamani 0001 |
Compositional finite abstractions for large-scale stochastic switched systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 3-5, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Henk Blom |
Symbolic-numeric methods in reasoning about the design of future air traffic management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 1-2, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xin Qin, Jyotirmoy V. Deshmukh |
Preview of predictive monitoring for signal temporal logic with probabilistic guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 19-21, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak |
Limit reachability for model-free reinforcement learning of ω-regular objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 16-18, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
Neural state classification for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 24-27, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli |
Falsification of cyber-physical systems through multi-fidelity stochastic optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019, pp. 22-23, 2019, ACM, 978-1-4503-6697-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|