BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260408T205326Z
UID:Seminar-verification-902@lxserverA.csc.liv.ac.uk.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20200218T111500
DTEND:20200218T121500
SUMMARY:Verification Series
DESCRIPTION:: Lightning talk: 2-dimensional Average-energy Games\n\nAn average-energy game is played in a finite integer-weighted arena. The sum of weights traversed along a play prefix is interpreted as its energy level (think of a battery that is drained or recharged along edges). Player 0 wins a play if the average energy level is bounded by some given threshold.\n\nIt is known that solving one-dimensional average-energy games is  decidable while solving 3-dimensional average-energy games is undecidable. I will give some informal introduction to energy and average-energy games and then invite you to solve the 2-dimensional case.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=902
LOCATION:
END:VEVENT
END:VCALENDAR