BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260921T233021Z
UID:Seminar-dept-1230@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20240319T130000
DTEND:20240319T140000
SUMMARY:School Seminar Series
DESCRIPTION:Udi Boker: History-Determinism vs. Fair-Simulation\n\nAn automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. An automaton A is guidable with respect to a class C of automata if it can fairly simulate every automaton B in C, whose language is contained in that of A. In other words, guidable automata are those for which inclusion and simulation coincide.\n\n\n\nI will explore the connection between history determinism and other notions of limited nondeterminism, such as good for gameness, while focusing on the connection between history determinism and guidability. \n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1230
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR