What do you mean it's non deterministic? Because it is using floating point operations?
Can you elaborate?
For instance, if the model predicts with a 95% certainty to accelerate, then 5% of the time it'll do some action other than accelerating.
This involves reasoning about the scheduling of tasks to ensure that in worst-case situations, your timing requirements are still being met.
All safety-critical systems would be deterministic, you simply would not get certified otherwise.
Note: Theres much more to safety-critical application design, but basically, you have to be able to prove the behaviour of you code under all circumstances, which typically means no garbage-collection, dynamic-allocation, etc.