![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th SNR 2020
- Thao Dang, Stefan Ratschan:
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020. EPTCS 331, 2021 - Auguste Bourgois
, Luc Jaulin:
Interval centred form for proving stability of non-linear discrete-time systems. 1-17 - Andreas Rauh
, Julia Kersten:
Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis. 18-32 - Tommaso Dreossi, Giorgio Ballardin, Parth Gupta, Jan Bakus, Yu-Hsiang Lin, Vamsi Salaka:
Analysis of E-commerce Ranking Signals via Signal Temporal Logic. 33-42 - Luc Jaulin, Benoît Desrochers:
Enclosing the Sliding Surfaces of a Controlled Swing. 43-55
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.