what is temporal synthesis in simple language?
Answers
Answered by
0
Explanation:
Temporal synthesis is the automated construction of a system from its temporal specification. ... The LTL synthesis problem receives as input a specification given by means of an LTL formula and outputs a reactive system modeled by a finite-state transducer satisfying the given specification — if such exists.
Answered by
1
Answer:
Temporal synthesis is the automated construction of a system from its temporal specification. ... The LTL synthesis problem receives as input a specification given by means of an LTL formula and outputs a reactive system modeled by a finite-state transducer satisfying the given specification — if such exists.
Explanation:
Follow Me Dosto ♥
Similar questions