OpenAlex
Learning-based symbolic abstractions for nonlinear control systems
Work