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 “"Reactive synthesis"”.
-
Reactive synthesis of action planners
… capability of the robot. The problem of synthesis of correct-by-construction action planners has been considered in this work. Action Description Language (ADL) is used to model the actions. These ADL definitions are then translated to Linear Temporal Logic (LTL). LTL based specifications …
-
Exploring Finite-Word Automata for Reactive Synthesis
… many times before passing verification. Program synthesis, on the other hand, presents an alternative workflow where the implementation is directly and algorithmically generated from the formal specification. One widely-studied example is reactive synthesis, which aims to synthesize a reactive …
-
A Constraint-Based Approach to Reactive Task and Motion Planning
… presents a novel and scalable approach for Reactive Task and Motion Planning. We consider changing environments with uncontrollable agents, where the robot needs a policy to respond correctly in the infinite interaction with the environment. Our approach operates on task and motion domains …