Reactive synthesis



Incoming relations

  • GR(1) is a method in Reactive synthesis

Outgoing relations

  • Reactive synthesis is a generalization of GR(1)