Bi-simulation theory

$S^3$ method optimizes neural network abstractions for dynamical systems

Researchers have developed a new method called a smooth simulation surrogate ($S^3$) to optimize discrete abstractions of dynamical systems, particularly those with neural network controllers. This differentiable object…