BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Orna Kupferman (Hebrew University)
DTSTART:20240306T140000Z
DTEND:20240306T150000Z
DTSTAMP:20260423T052545Z
UID:FLAT/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/FLAT/2/">Usi
 ng the past for resolving the future</a>\nby Orna Kupferman (Hebrew Univer
 sity) as part of One FLAT World Seminar\n\n\nAbstract\nNondeterminism mode
 ls an ability to see the future: An automaton with an infinite look ahead 
 can successfully resolve its nondeterministic choices. An automaton is his
 tory deterministic (HD) if it can successfully resolve its nondeterministi
 c choices in a way that only depends on the past. Formally\, an HD automat
 on has a strategy that maps each finite word to the transition to be taken
  after the word is read and following this strategy results in accepting a
 ll the words in the language of the automaton. Beyond being theoretically 
 interesting and intriguing\, HD automata can replace deterministic automat
 a in several applications\, most notably reactive synthesis\, and they att
 ract a lot of interest in the research community. The talk describes the d
 evelopment of HD $\\omega$-regular automata\, relates history determinism 
 to other types of bounded nondeterminism\, discuss the determinization of 
 HD automata and their succinctness with respect to deterministic ones\, an
 d discusses variants\, extensions\, and open problems around HD automata.\
 n
LOCATION:https://researchseminars.org/talk/FLAT/2/
END:VEVENT
END:VCALENDAR