Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks
This academic article focuses on the development of neural network controllers for autonomous systems with unknown and stochastic dynamics. The authors propose a new approach to check and compute a…
Continue reading