28 citations · 68 across the 5 of their papers we have counts for
5 papers
State of Büchi Complementation
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi +1
Complementation of Büchi automata has been studied for over five decades since the formalism was introduced in 1960. Known complementation constructions can be classified into Rams…
Profile Trees for Büchi Word Automata, with Application to Determinization
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi +1
The determinization of Buchi automata is a celebrated problem, with applications in synthesis, probabilistic verification, and multi-agent systems. Since the 1960s, there has been…
Unifying Büchi Complementation Constructions
Seth J. Fogarty, Orna Kupferman, Thomas Wilke +1
Complementation of Büchi automata, required for checking automata containment, is of major theoretical and practical interest in formal verification. We consider two recent approac…
Büchi Complementation and Size-Change Termination
Seth Fogarty, Moshe Y. Vardi
We compare tools for complementing nondeterministic Büchi automata with a recent termination-analysis algorithm. Complementation of Büchi automata is a key step in program verifica…
Attacks on Local Searching Tools
Seth James Nielson, Seth J. Fogarty, Dan S. Wallach
The Google Desktop Search is an indexing tool, currently in beta testing, designed to allow users fast, intuitive, searching for local files. The principle interface is provided th…