脆弱吧
发表于 2025-3-28 18:26:17
http://reply.papertrans.cn/84/8322/832144/832144_41.png
ungainly
发表于 2025-3-28 22:32:16
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxesthe neuron activation pattern can be used to detect such inputs. We present an approach for monitoring classification systems via data abstraction. Data abstraction relies on the notion of box with a resolution. Box-based abstraction consists in representing a set of values by its minimal and maxima
蜡烛
发表于 2025-3-28 22:57:50
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checkinga function of the parameters of the model. Smoothed model checking (smMC) [.] infers the satisfaction function over the entire parameter space from a limited set of observations obtained via simulation. As observations are costly and noisy, smMC leverages the power of Bayesian learning based on Gaus
Stress
发表于 2025-3-29 06:32:54
Monitoring Blackbox Implementations of Multiparty Session Protocolscols specified as global types. We improve over prior works by (i) supporting components whose exact specification is unknown (“blackboxes”) and (ii) covering protocols that cannot be analyzed by existing techniques. We first give a procedure for synthesizing monitors for blackboxes from global type
阴郁
发表于 2025-3-29 07:14:19
http://reply.papertrans.cn/84/8322/832144/832144_45.png
nutrients
发表于 2025-3-29 12:23:13
http://reply.papertrans.cn/84/8322/832144/832144_46.png
关节炎
发表于 2025-3-29 16:36:38
Metric First-Order Temporal Logic with Complex Data Typesility to model complex data is limited. One must resort to complicated encoding schemes to express properties involving basic structures such as lists or trees. To avoid this drawback, we extend metric first-order temporal logic with a minimalistic, yet expressive, functional programming language. T
ELUC
发表于 2025-3-29 21:26:18
Runtime Verification Prediction for Traces with Dataing constraints on the order of occurrence of events and the data that they carry. We present an algorithm for predicting possible verdicts, within (some parametric) . events, for online monitoring executions with data against a specification written in past first-order temporal logic. Such early pr
凝结剂
发表于 2025-3-30 00:00:35
http://reply.papertrans.cn/84/8322/832144/832144_49.png
fructose
发表于 2025-3-30 05:29:36
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specificationstional approach allows us to cut down the cost of executing a large number of long-running simulations, by decomposing a simulation-based analysis task into several shorter and more efficient ones. Results obtained from the individual analyses are then stitched together to generate a result for the