Titlebook: NASA Formal Methods; 15th International S Kristin Yvonne Rozier,Swarat Chaudhuri Conference proceedings 2023 The Editor(s) (if applicable)

flex336

JEER

Introvert

nuclear-tests

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes,tangent activation functions. In particular, we abstract the input-output relation of each neuron by a polynomial approximation, which is evaluated in a set-based manner using polynomial zonotopes. While our approach can also can be beneficial for open-loop neural network verification, our main appl

hemoglobin

LIMN

BILL

描述

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access, partially unknown environments. In environments modeled by . Markov decision processes (MDPs), the impact of the agents’ actions are known in terms of successor states but not the stochastics involved. In this paper, we devise a strategy synthesis algorithm for gray-box MDPs via reinforcement learn

貪心

dapper

,Reward Shaping from?Hybrid Systems Models in?Reinforcement Learning,equirements, formal methods for learning-enabled systems, such as closed-loop neural network verification, shielding, falsification, and online reachability analysis, analyze learned controllers for safety violations. Besides filtering unsafe actions during training, these approaches view verificati