Volume
@proceedings{SNR2015,
title = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{SNR2015:Symbolic_Numeric_Reachability_Analysis_of,
author = {Sriram Sankaranarayanan},
title = {Symbolic-Numeric Reachability Analysis of Hybrid Systems},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
pages = {1},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xbq8},
doi = {10.29007/249v}}
@inproceedings{SNR2015:Verification_of_Stochastic_Systems,
author = {Yang Gao and Martin Fr\textbackslash{}"anzle},
title = {Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
pages = {2--10},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TWf},
doi = {10.29007/wm3j}}
@inproceedings{SNR2015:Abstract_Interpretation_with_Infinitesimals,
author = {Kengo Kido and Swarat Chaudhuri and Ichiro Hasuo},
title = {Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
pages = {11--22},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/jTC},
doi = {10.29007/rls3}}
@inproceedings{SNR2015:Summary_of_Recent_Progress,
author = {Ian M. Mitchell},
title = {A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
pages = {23--31},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TZj},
doi = {10.29007/bm16}}
@inproceedings{SNR2015:An_Algorithmic_Approach_to,
author = {Pavithra Prabhakar and Miriam Garc\textbackslash{}'ia Soto},
title = {An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
pages = {32--39},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zpM},
doi = {10.29007/sj95}}
@inproceedings{SNR2015:ProbReach_Tool_for_Guaranteed,
author = {Fedor Shmarov and Paolo Zuliani},
title = {ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
pages = {40--48},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/z1f},
doi = {10.29007/mh2c}}