Review for NeurIPS paper: Information Theoretic Regret Bounds for Online Nonlinear Control

Additional Feedback: 1. Could you please define'continuous control' in the first sentence of the Intro? Does this mean continuous-time continuous-space control? 2. Line 20: Please could you define this term'provably correct' as well? In control of uncertain dynamics, we rarely care about'correctness' and far more about'robustness' since even an arbitrarily small amount away from the exact nonlinear system could (in general) induce very different dynamics, so unless one can get an exact model, one typically relies on robust controllers for safety during implementation. There is a lot of work in robust control that could be (and has been) seamlessly integrated in very unknown, very safety-critical, and very complex environments (airplane/ship navigation/biomedicine) which work great without any RL. The assumptions and theorems, are, of course, quite different.