3 papers
cs.CV2020
Realistic text replacement with non-uniform style conditioning
Arseny Nerinovsky, Igor Buzhinsky, Andey Filchencov
In this work, we study the possibility of realistic text replacement, the goal of which is to replace text present in the image with user-supplied text. The replacement should be p…
cs.LG2020
Metrics and methods for robustness evaluation of neural networks with generative models
Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
Recent studies have shown that modern deep neural network classifiers are easy to fool, assuming that an adversary is able to slightly modify their inputs. Many papers have propose…
cs.SE2019
Combining closed-loop test generation and execution by means of model checking
Igor Buzhinsky, Valeriy Vyatkin
Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes…