Login / Signup
SNR@CAV
2015
2015
2015
Keyphrases
Publications
2015
Ian Mitchell
A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels.
SNR@CAV
(2015)
Fedor Shmarov
,
Paolo Zuliani
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.
SNR@CAV
(2015)
Pavithra Prabhakar
,
Miriam Garcia Soto
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary.
SNR@CAV
(2015)
Yang Gao
,
Martin Fränzle
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain.
SNR@CAV
(2015)
Kengo Kido
,
Swarat Chaudhuri
,
Ichiro Hasuo
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
SNR@CAV
(2015)
Sriram Sankaranarayanan
Symbolic-Numeric Reachability Analysis of Hybrid Systems.
SNR@CAV
(2015)
volume 37, 2015
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015
SNR@CAV
37 (2015)