OpenAlex
Supervisory control synthesis for deterministic context free specification languages
Work