--- res: bibo_abstract: - A Rapidly-exploring Random Tree (RRT) is an algorithm which can search a non-convex region of space by incrementally building a space-filling tree. The tree is constructed from random points drawn from system’s state space and is biased to grow towards large unexplored areas in the system. RRT can provide better coverage of a system’s possible behaviors compared with random simulations, but is more lightweight than full reachability analysis. In this paper, we explore some of the design decisions encountered while implementing a hybrid extension of the RRT algorithm, which have not been elaborated on before. In particular, we focus on handling non-determinism, which arises due to discrete transitions. We introduce the notion of important points to account for this phenomena. We showcase our ideas using heater and navigation benchmarks.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Stanley foaf_name: Bak, Stanley foaf_surname: Bak - foaf_Person: foaf_givenName: Sergiy foaf_name: Bogomolov, Sergiy foaf_surname: Bogomolov foaf_workInfoHomepage: http://www.librecat.org/personId=369D9A44-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-0686-0365 - foaf_Person: foaf_givenName: Thomas A foaf_name: Henzinger, Thomas A foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000−0002−2985−7724 - foaf_Person: foaf_givenName: Aviral foaf_name: Kumar, Aviral foaf_surname: Kumar bibo_doi: 10.1007/978-3-319-63501-9_6 bibo_volume: 10381 dct_date: 2017^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/978-331963500-2 dct_language: eng dct_publisher: Springer@ dct_title: Challenges and tool implementation of hybrid rapidly exploring random trees@ ...