Stop the war!
Остановите войну!
for scientists:
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
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.