We need to:

• Update the compat since there are new versions of OptimalControl and OptimalControlProblems.
• See JSO problems and benchmarks for inspiration and JSO tools to benchmark to make the benchmarks. See also the tutorial.

@amontoison @frapac discuss possible integration within JSO benchmark (knowing that we generate ADNLPModels, ExaModels and JuMP models to be solved with Ipopt and/or MadNLP on CPU/GPU). New internships soon.

@jbcaillau Quadrotor from InfiniteOpt. See also InfiniteExaModels.jl and GPU usage. Some examples from InfiniteExaModels.jl. List of operators supported by ExaModels.