Showing 1–2 of 2 results for author: Kunc, M

Classification under strategic adversary manipulation using pessimistic bilevel optimisation

Authors: David Benfield, Stefano Coniglio, Martin Kunc, Phan Tu Vuong, Alain Zemkoho

Abstract: Adversarial machine learning concerns situations in which learners face attacks from active adversaries. Such scenarios arise in applications such as spam email filtering, malware detection and fake-image generation, where security methods must be actively updated to keep up with the ever improving generation of malicious data.We model these interactions between the learner and the adversary as a… ▽ More Adversarial machine learning concerns situations in which learners face attacks from active adversaries. Such scenarios arise in applications such as spam email filtering, malware detection and fake-image generation, where security methods must be actively updated to keep up with the ever improving generation of malicious data.We model these interactions between the learner and the adversary as a game and formulate the problem as a pessimistic bilevel optimisation problem with the learner taking the role of the leader. The adversary, modelled as a stochastic data generator, takes the role of the follower, generating data in response to the classifier. While existing models rely on the assumption that the adversary will choose the least costly solution leading to a convex lower-level problem with a unique solution, we present a novel model and solution method which do not make such assumptions. We compare these to the existing approach and see significant improvements in performance suggesting that relaxing these assumptions leads to a more realistic model. △ Less

Submitted 26 October, 2024; originally announced October 2024.

Comments: 27 pages, 5 figures, under review

The omega-inequality problem for concatenation hierarchies of star-free languages

Authors: J. Almeida, O. Klíma, M. Kunc

Abstract: The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows that this problem is decidable for all (integer and half) levels of the Straubing-Thérien hierarchy. The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows that this problem is decidable for all (integer and half) levels of the Straubing-Thérien hierarchy. △ Less

Submitted 23 May, 2017; v1 submitted 29 January, 2016; originally announced January 2016.

MSC Class: Primary 20M05; 20M07; Secondary 20M35; 68Q70

Journal ref: Forum Math. 30 (2018), no. 3, 663-679