2 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Andoni Rodríguez, Cesar Sanchez
Reactive synthesis is the process of using temporal logic specifications in LTL to generate correct controllers, but its use has been restricted to Boolean specifications. Recently…