Sriram Sankaranarayanan. Symbolic-Numeric Reachability Analysis of Hybrid Systems. In Sergiy Bogomolov, Ashish Tiwari, editors, 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. Volume 37 of EPiC Series in Computing, pages 1, EasyChair, 2015. [doi]
@inproceedings{Sankaranarayanan15-3,
title = {Symbolic-Numeric Reachability Analysis of Hybrid Systems},
author = {Sriram Sankaranarayanan},
year = {2015},
url = {http://www.easychair.org/publications/paper/Symbolic-Numeric_Reachability_Analysis_of_Hybrid_Systems},
researchr = {https://researchr.org/publication/Sankaranarayanan15-3},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
volume = {37},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}