|
|
|
|
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.  |
SNR  |
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. |
SNR |
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. |
SNR |
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. |
SNR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards |
Time-Staging Enhancement of Hybrid System Falsification. |
SNR |
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. |
SNR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, Wesam Haddad, Taylor T. Johnson |
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach. |
SNR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rauh, Julia Kersten |
Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis. |
SNR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Jaulin, Benoît Desrochers |
Enclosing the Sliding Surfaces of a Controlled Swing. |
SNR |
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. |
SNR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Auguste Bourgois, Luc Jaulin |
Interval centred form for proving stability of non-linear discrete-time systems. |
SNR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Haesaert, Sadegh Soudjani |
Achievements in correct-by-design control for stochastic systems. |
SNR |
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. |
SNR |
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. |
SNR |
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 |
SNR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Lavaei, Majid Zamani 0001 |
Compositional finite abstractions for large-scale stochastic switched systems. |
SNR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Blom |
Symbolic-numeric methods in reasoning about the design of future air traffic management. |
SNR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Qin, Jyotirmoy V. Deshmukh |
Preview of predictive monitoring for signal temporal logic with probabilistic guarantees. |
SNR |
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. |
SNR |
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. |
SNR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alireza Inanlouganji, Shakiba Yaghoubi, Georgios Fainekos, Giulia Pedrielli |
Falsification of cyber-physical systems through multi-fidelity stochastic optimization. |
SNR |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license