Bogomolov, Sergiy and Frehse, Goran and Grosu, Radu and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin. (2012) A box-based distance between regions for guiding the reachability analysis of SpaceEx. In: Computer Aided Verification : 24th International Conference (CAV 2012). Belin, pp. 479-494.
Full text not available from this repository.
Official URL: http://edoc.unibas.ch/dok/A6043736
Downloads: Statistics Overview
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.
| Faculties and Departments: | 05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert) |
|---|---|
| UniBasel Contributors: | Wehrle, Martin |
| Item Type: | Conference or Workshop Item, refereed |
| Conference or workshop item Subtype: | Conference Paper |
| Publisher: | Springer |
| ISBN: | 978-3-642-31424-7 (E-Book) ; 978-3-642-31423-0 (Print) |
| Series Name: | Lecture Notes in Computer Science |
| Issue Number: | 7358 |
| Note: | Publication type according to Uni Basel Research Database: Conference paper |
| Related URLs: | |
| Identification Number: | |
| Last Modified: | 13 Sep 2013 08:00 |
| Deposited On: | 13 Sep 2013 07:58 |
Repository Staff Only: item control page