Henning Fernau — accepted AI-conference papers

2023

Synchronization and Diversity of Solutions

Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf

AAAI 2023technical

A central computational problem in the realm of automata theory is the problem of determining whether a finite automaton A has a synchronizing word. This problem has found applications in a variety of subfields of artificial intelligence, including planning, robotics, and multi-agent systems. In thi…

Cited by 5 Source ↗PDF ↗Scholar ↗

2021

Diversity in Kemeny Rank Aggregation: A Parameterized Approach

Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf

IJCAI 2021poster

In its most traditional setting, the main concern of optimization theory is the search for optimal solutions for instances of a given computational problem. A recent trend of research in artificial intelligence, called solution diversity, has focused on the development of notions of optimality that…

Cited by 10 Source ↗PDF ↗Scholar ↗