SNR@ETAPS

201720172017

Keyphrases

Publications

2017

Ievgen Ivanov
On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems. SNR@ETAPS (2017)
Yingfu Zeng, Ferenc A. Bartha, Walid Taha
Compile-Time Extensions to Hybrid ODEs. SNR@ETAPS (2017)
Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin, Laurent Fribourg
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method. SNR@ETAPS (2017)
Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair
Towards Verification of Uncertain Cyber-Physical Systems. SNR@ETAPS (2017)
Benoît Desrochers, Luc Jaulin
Minkowski Operations of Sets with Application to Robot Localization. SNR@ETAPS (2017)

volume 247, 2017

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. SNR@ETAPS 247 (2017)