Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Abstraction and refinement"”.
-
Enhancements to Hierarchical Pathfinding Algorithms
… static grid-based maps. We apply the approach of abstraction and refinement. We abstract the grid map into a graph representation, and use the classic A* algorithm to search for a path in the abstract space, and then refine it into low-level path.</p> <p>We started with a 2013 entry program to the …
-
Explorations into the behaviour-oriented nature of intelligence : Fuzzy behavioural maps.
… the behaviour-oriented nature of intelligence and presents the definition and use of Fuzzy Behavioural Maps (FBMs) as a flexible development framework for providing complex autonomous agent behaviour. This thesis provides a proof-of-concept for simple FBMs, including some experimental results …
-
Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software
… the reliability of such software. Recently, more and more formal verification techniques have begun modeling a non-Boolean data variable as a bit-vector with bounded width (i.e. a vector of multiple bits like 32- or 64- bits) to implement bit-precise verification. One major challenge in the …