Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Naseer, Shammakh"'
To advance formal verification of stochastic systems against temporal logic requirements for handling unknown dynamics, researchers have been designing data-driven approaches inspired by breakthroughs in the underlying machine learning techniques. As
Externí odkaz:
http://arxiv.org/abs/2407.21029