activity
20172023
most citedDeep Graph Matching via Blackbox Differentiation of Combinatorial Solvers

75 citations · 276 across the 23 of their papers we have counts for

collaborators
Showing 2022Show all

6 papers · 1 filter

math.FA2022

Optimality problems in Orlicz spaces

Vít Musil, Luboš Pick, Jakub Takáč

In mathematical modelling, the data and solutions are represented as measurable functions and their quality is oftentimes captured by the membership to a certain function space. On…

math.FA2022★ 5 cited

Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator

Andrea Cianchi, Vít Musil, Luboš Pick

A comprehensive analysis of Sobolev-type inequalities for the Ornstein-Uhlenbeck operator in the Gauss space is offered. A unified approach is proposed, providing one with criteria…

cs.MA2022★ 1 cited

On-the-fly Adaptation of Patrolling Strategies in Changing Environments

Tomáš Brázdil, David Klaška, Antonín Kučera +3

We consider the problem of efficient patrolling strategy adaptation in a changing environment where the topology of Defender's moves and the importance of guarded targets change un…

cs.RO2022

General Optimization Framework for Recurrent Reachability Objectives

David Klaška, Antonín Kučera, Vít Musil +1

We consider the mobile robot path planning problem for a class of recurrent reachability objectives. These objectives are parameterized by the expected time needed to visit one pos…

cs.LG2022★ 11 cited

Backpropagation through Combinatorial Algorithms: Identity with Projection Works

Subham Sekhar Sahoo, Anselm Paulus, Marin Vlastelica +3

Embedding discrete solvers as differentiable layers has given modern deep learning architectures combinatorial expressivity and discrete reasoning capabilities. The derivative of t…

cs.MA2022

Minimizing Expected Intrusion Detection Time in Adversarial Patrolling

David Klaška, Antonín Kučera, Vít Musil +1

In adversarial patrolling games, a mobile Defender strives to discover intrusions at vulnerable targets initiated by an Attacker. The Attacker's utility is traditionally defined as…