Seth Fogarty

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 3

Top Topics

Information Gain

Partially Observable Markov Decision Processes

Top Venues

Log. Methods Comput. Sci.

Publications

Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay
Towards a Grand Unification of Büchi Complementation Constructions. Principles of Systems Design (2022)
Charles Stein, Seth Fogarty
dsmodels: A Little Language for Dynamical Systems. RWDSL@CGO (2018)
Corey Fisher, Seth Fogarty, Moshe Y. Vardi
Random Models for Evaluating Efficient Büchi Universality Checking. ICLA (2017)
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke
Profile trees for Büchi word automata, with application to determinization. Inf. Comput. 245 (2015)
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
State of Büchi Complementation. Log. Methods Comput. Sci. 10 (4) (2014)
Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi
Unifying Büchi Complementation Constructions Log. Methods Comput. Sci. 9 (1) (2013)
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke
Profile Trees for Büchi Word Automata, with Application to Determinization. GandALF (2013)
Seth Fogarty, Moshe Y. Vardi
Büchi Complementation and Size-Change Termination Log. Methods Comput. Sci. 8 (1) (2012)
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke
Unifying Büchi Complementation Constructions. CSL (2011)
Seth Fogarty, Moshe Y. Vardi
Efficient Büchi Universality Checking. TACAS (2010)
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
State of Büchi Complementation. CIAA (2010)
Seth Fogarty, Moshe Y. Vardi
Büchi Complementation and Size-Change Termination. TACAS (2009)
Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha
Concoqtion: indexed types now! PEPM (2007)