Veronika Loitzenbauer

Available identifiers

Publication	Date of Publication	Type
Symbolic algorithms for graphs and Markov decision processes with fairness objectives	2023-05-05	Paper
Approximating the minimum cycle mean	2021-06-09	Paper
Improved set-based symbolic algorithms for parity games	2020-05-26	Paper
Faster algorithms for computing maximal 2-connected subgraphs in sparse directed graphs	2018-07-16	Paper
Improved algorithms for one-pair and \(k\)-pair Streett objectives	2018-04-23	Paper
Model and objective separation with conditional lower bounds: disjunction is harder than conjunction	2018-04-23	Paper
Conditionally Optimal Algorithms for Generalized B\"uchi Games	2018-03-21	Paper
Lower bounds for symbolic computation on graphs: strongly connected components, liveness, safety, and diameter	2018-03-15	Paper
Improved algorithms for parity and Streett objectives	2017-10-12	Paper
Ad exchange: envy-free auctions with mediators	2016-01-08	Paper
Finding 2-edge and 2-vertex strongly connected components in quadratic time	2015-10-27	Paper
Truthful unit-demand auctions with budgets revisited	2015-02-24	Paper
Approximating the minimum cycle mean	2014-07-25	Paper

This page was built for person: Veronika Loitzenbauer