ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.

SNR@CAV（2015）

引用 5|浏览14

暂无评分

摘要

In this paper we present a summary of our work on probability reachability in stochastic hybrid systems (SHS). In particular, we give an overview of ProbReach, a tool for computing probabilistic reachability in SHS which we introduced in our HSCC 2015 paper. We also present and an overview of our recent theoretical extensions and modification of the tool.

查看译文

关键词

guaranteed reachability analysis,stochastic hybrid systems,probreach

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要