Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification.
Jan 27, 2021 · Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification.
In this work we introduce just-in-time synthesis (JITS), a novel means to execute synthesized reactive systems, which skips the controller construction phase.
A global strategy must account for every possible environment (uncertain, uncontrolled) action, in every possible robot configuration. As in other approaches.
People also ask
What is the reactive synthesis method?
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification.
This document provides supporting materials for the ASE'20 paper by the authors titled “Just-In-Time Reactive Synthesis” [6]. We pro- vide additional ...
Duration: 22:27
Posted: Aug 3, 2020
Posted: Aug 3, 2020
Sep 25, 2020 · In this work we introduce just-in-time synthesis (JITS), a novel means to execute synthesized reactive systems, which skips the controller ...
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification.
In this paper, we argue that not all possible environment (uncontrolled) behaviors need to be explicitly planned for, but rather short-time strategies can be ...