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 1 of 1 for “"Action planners"”.
-
Reactive synthesis of action planners
… tasks. For all tasks, it generally involves abstractions into discrete, logical actions, where each discrete action defines a particular capability of the robot. The problem of synthesis of correct-by-construction action planners has been considered in this work. Action Description Language (ADL) …