[tangoed]

I'd argue that knowing fairly well and theoretical guarantees are significantly different.

As an example, you can run a million simulations on a satellite with different initial conditions to test your new control algorithm. However, you have infinitely many possible initial conditions, and you can't simulate all of them. If you however show that the closed loop system in stable sine sense, it's a more rigorous guarantee.

[bick_nyers]

Agreed. I work in medical imaging, and people in the industry are very weary of existing technology that does have theoretical guarantees. Upscaling via bicubic/lancoz, or lossy compression (even if it has guaranteed 0.99 SSIM or NCC). Then they go ahead and do reads on 512x512 pixel CT scans. Even with a theoretical guarantee on bounded error ranges, you still have the cultural perception problem to deal with. Only if the improvements from a feature perspective are an order of magnitude better will it see any adoption imo.