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