Reactive synthesis
Reactive synthesis (or temporal synthesis) is the field of computer science that studies automatic generation of state machines (e.g. Moore machines) from high-level specifications (e.g.
Reactive synthesis (or temporal synthesis) is the field of computer science that studies automatic generation of state machines (e.g. Moore machines) from high-level specifications (e.g.
Reactive synthesis (or temporal synthesis) is the field of computer science that studies automatic generation of state machines (e.g. Moore machines) from high-level specifications (e.g.
Source: Wikipedia "Reactive synthesis" · CC BY-SA 4.0
Share this article: X · Bluesky