History-Determinism and Other Recent Developments in Graph Games

Speaker:  Professor Thomas A. Henzinger
          IST Austria

Title:    "History-Determinism and Other Recent Developments in Graph Games"

Date:     Monday, 15 July 2024

Time:     1:00pm - 2:00pm

Venue:    Room 4502 (via lift 25/26), HKUST

Abstract:

Games played on graphs offer a natural and rich modeling and analysis
framework for discrete-event systems. We present three recent developments
that are based on graph games. First, strategy logics provide specification
and verification formalisms for multi-agent systems. Second, bidding games
put budgetary constraints on the players to achieve their objectives.
Third, history-deterministic automata give a game-theoretic interpretation
to the fundamental concept of nondeterminism.


****************
Biography:

Tom Henzinger is professor at the Institute of Science and Technology
Austria (ISTA), chair of the Austrian Council for Sciences, Technology,
and Innovation (FORWIT), and member of the Scientific Council of the
European Research Council (ERC). He holds a PhD in Computer Science from
Stanford University (1991), was professor at Cornell University, the
University of California, Berkeley, and EPFL in Switzerland, as well as
director at the Max-Planck Institute for Computer Science in Saarbrucken,
Germany. From 2009 until 2022, he was the founding president of ISTA. His
research focuses on the theory of software systems, especially models,
algorithms, and tools for the design and verification of reliable
software. His HyTech tool was the first model checker for mixed
discrete-continuous systems. He is a member of the US National Academy of
Sciences, the American Academy of Arts and Sciences, Academia Europaea,
the German Academy of Sciences (Leopoldina), and the Austrian Academy of
Sciences, as well as a foreign member of the Royal Society. He is a Fellow
of the AAAS, the ACM, and the IEEE. He received the Robin Milner Award of
the Royal Society, the EATCS Award of the European Association for
Theoretical Computer Science, the Wittgenstein Award of the Austrian
Science Fund (FWF), and two Advanced Grants of the ERC.