Abstract With the aim of testing robustness machine learning models, this paper tests performance five classification models based on IMDB datasets. Furthermore, in work, two types sentence embeddings generated by word2vec and BERT are added with noise normal distribution different intensities. They fed into Support Vector Machine for testing. The experimental results show that model slowly dec...

We study the robust safety problem for timed automata under guard imprecisions which consists in computing an imprecision parameter under which a safety specification holds. We give a symbolic semi-algorithm for the problem based on a parametric data structure, and evaluate its performance in comparison with a recently published one, and with a binary search on enlargement values.

A local robustness approach for the selection of the architecture in multilayered feedforward artificial neural networks (MLFANN) is studied in terms of probability density function (PDF) in this work. The method is used in a non-linear autoregressive (NAR) model with innovative outliers. The procedure is proposed for the selection of the locally most robust (around a particular sample) MLFANN ...

To satisfy the growing passenger transportation demands and improve the service quality in railway system, a more stable and robust timetable needs to be designed while considering highly utilized capacity. Acyclic timetable is extensively applied in large railway networks. In order to acquire the quality of timetable, analytical timetable stability analysis software PETER (Performance Evaluati...

In multi-agent systems, norms specify ideal behaviour. Agents, however, are autonomous, and may fail to comply with the ideal. Contrary to Duty obligations can be used to specify reparational behaviour that mitigates the effects of a violation. In addition to specifying reparational behaviours, it is important to understand how robust a system is against possible violations. Depending on what k...

This work proposes a novel metric, Maximally Amortized Cost (MAC), for cost evaluations of error correction of predictive Chinese input methods (IMs). With a series of real-time simulation, user correction behaviors are analyzed by estimating generalized backward compatibility of adaptive Chinese IMs. Comparisons between three IMs by using MAC with different context lengths report empirical fac...

Given a parametric time Petri net with inhibitor arcs and a valuation of the timing requirements seen as parameters, we propose a method synthesizing a constraint on these parameters guaranteeing the same set of traces as for the reference valuation. This gives a quantitative measure of the robustness of the system for linear time properties.

Correspondence analysis followed by clustering of both rows and columns of a data matrix is proposed as an approach to two-way clustering. The novelty of this contribution consists of: i) proposing a simple method for the selecting of the number of axes; ii) visualizing the data matrix as is done in micro-array analysis; iii) enhancing this representation by emphasizing those variables and thos...

Whereas formal verification of timed systems has become a very active field of research, the idealized mathematical semantics of timed automata cannot be faithfully implemented. Recently, several works have studied a parametric semantics of timed automata related to implementability: if the specification is met for some positive value of the parameter, then there exists a correct implementation...

Robustness is a correctness property which intuitively means that if the inputs to a program changes less than a fixed small amount then its output changes only slightly. The study of errors caused by finite-precision semantics requires a stronger property: the results in the finite-precision semantics have to be close to the result in the exact semantics. Compositional methods often are not us...