Before revision: Reactive synthesis is the field of computer science that studies automatic generation of state machines (e.g.
After revision: (or temporal synthesis)Reactive synthesis is the field of computer science that studies automatic generation of state machines (e.g.