Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski:
"A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx";
Vortrag: CAV'12, the 24th International Conference on Computer Aided Verification,
Berkeley, California, USA;
07.07.2012
- 13.07.2012; in: "Proceedings of CAV'12, the 24th International Conference on Computer Aided Verification",
LNCS / Springer,
7358
(2012),
ISBN: 978-3-642-31423-0;
S. 479
- 494.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-31424-7_35
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_212953.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.