FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Between Determinism and Nondeterminism

Author: Thomas Henzinger

Paper Information

Title:Between Determinism and Nondeterminism
Authors:Thomas Henzinger
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Automata theory, Graph games, Fair simulation
Pages:1
Talk:Jul 31 12:20 (Session 12B)
Paper: