An algorithm to rule them all: Fast value iteration for energy games

Prelegent(ci)

Antonio Casares

Afiliacja

University of Warsaw

Język referatu

angielski

Termin

16 października 2024 14:15

Pokój

p. 5440

Tytuł w języku polskim

An algorithm to rule them all: Fast value iteration for energy games

Seminarium

Seminarium „Teoria automatów”

---

We introduce a uniform framework for describing, comparing, 
and proving correctness of algorithms for energy games (which generalise 
the well known parity games). This framework allows us to provide simple 
presentations and correctness proofs of known algorithms including GKK 
(1988), Schewe (2008), BCDGR (2011) or BDM (2020). The new approach also 
leads to novel algorithms and plenty of exciting open questions and 
research directions! Based on joint work with Michaël Cadhilac and 
Pierre Ohlmann.

---