¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty - Büchi automaton - Document - PDFSEARCH.IO

First Page	Meta Content
	¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Add to Reading List Document Date: 2013-07-18 21:05:22 Open Document File Size: 266,27 KB Share Result on Facebook Company Determinization Determining Lexicographically Minimal Descendants / / Facility Engineering Hebrew University of Jerusalem Moshe Y. Vardi Thomas Wilke Department / Wilke hq / / IndustryTerm reactive systems / multi-agent systems / probabilistic systems / / Organization Department of Computer Science Rice University Institut f¨ur Informatik Christian-Albrechts-Universit¨at / Hebrew University of Jerusalem / Trinity University School of Computer Science / / Person Lemma / Moshe Y. Vardi Thomas Wilke / Rabin / Seth Fogarty Orna Kupferman / / Position hb / / ProgrammingLanguage T / / SocialTag Ω-automaton Tree Binary tree Mathematics Tree automaton Büchi automaton Automata theory Theoretical computer science Computer science

¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth FogartyAdd to Reading List