Personal tools
You are here: Home Events Lab Lunch by Richard Mayr

Lab Lunch by Richard Mayr

Playing Energy Games or What is it like to ski in the southern hemisphere?

What
When Sep 24, 2013
from 01:00 PM to 02:00 PM
Where MF2
Add event to calendar vCal
iCal

This talk gives an overview on recent results about parity games on infinite-state systems with multiple integer counters. In particular, it clarifies the relationship between energy games and games on vector addition systems (Petri nets), and shows how to compute the winning sets.

(See paper "Solving Parity Games on Integer Vectors", recently presented at CONCUR in Buenos Aires, Argentina.) 

As a bonus, I'll report on the skiing conditions in Patagonia, answering the following burning question: Argentina or New Zealand? A comparative evaluation by a connoisseur.

 
Document Actions