Talks and Poster Presentations (with Proceedings-Entry):
S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski:
"A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx";
Talk: CAV'12, the 24th International Conference on Computer Aided Verification,
Berkeley, California, USA;
2012-07-07
- 2012-07-13; in: "Proceedings of CAV'12, the 24th International Conference on Computer Aided Verification",
LNCS / Springer,
7358
(2012),
ISBN: 978-3-642-31423-0;
479
- 494.
English abstract:
A recent technique used in falsification methods for hybrid systems relies on distance-based heuristics for guiding the search towards a goal state. The question is whether the technique can be carried over to reachability analyses that use regions as their basic data structure. In this paper, we introduce a box-based distance measure between regions. We present an algorithm that, given two regions, efficiently computes the box-based distance between them. We have implemented the algorithm in SpaceEx and use it for guiding the region-based reachability analysis of SpaceEx. We illustrate the practical potential of our approach in a case study for the navigation benchmark.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-31424-7_35
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_212953.pdf
Created from the Publication Database of the Vienna University of Technology.