Abstract: The definition and application of function numbers and acronyms for devices and functions used in electrical substations and generating plants and in installations of power utilization and ...
Abstract: Closed-loop verification of cyberphysical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine whether ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results