Formal Control of an Inverted Pendulum on a Cart via Stochastic Abstractions: Using Interval Markov Decision Processes and Linear Temporal Logic on Finite Traces

The use of machine learning (ML), especially neural networks, in modeling control systems has shown promise, particularly for systems with complex physics. However, applying these models in safety-critical areas requires reliable verification and control synthesis methods due to their inherent complexity. Formal methods, using stochastic finite...