An Instantiation-Based Theorem Prover for First-Order Programming. - Erik Zawadzki; Geoffrey J. Gordon; André Platzer (AISTATS, 2011)

Memory-efficient groupby-aggregate using compressed buffer trees. - Hrishikesh Amur; Wolfgang Richter 001; David G. Andersen; Michael Kaminsky; Karsten Schwan; Athula Balachandran; Erik Zawadzki (SoCC, 2013)

A Generalization of SAT and #SAT for Robust Policy Evaluation. - Erik Peter Zawadzki; André Platzer; Geoffrey J. Gordon (IJCAI, 2013)

Empirically Evaluating Multiagent Learning Algorithms. - Erik Zawadzki; Asher Lipson; Kevin Leyton-Brown (CoRR, 2014)

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. - Khalil Ghorbal; Jean-Baptiste Jeannin; Erik Zawadzki; André Platzer; Geoffrey J. Gordon; Peter Capell (J. Aerosp. Inf. Syst., 2014)

Nonparametric Scoring Rules. - Erik Peter Zawadzki; Sébastien Lahaie (AAAI, 2015)

Formal verification of ACAS X, an industrial airborne collision avoidance system. - Jean-Baptiste Jeannin; Khalil Ghorbal; Yanni Kouskoulas; Ryan W. Gardner; Aurora C. Schmidt; Erik Zawadzki; André Platzer (EMSOFT, 2015)

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. - Jean-Baptiste Jeannin; Khalil Ghorbal; Yanni Kouskoulas; Ryan W. Gardner; Aurora C. Schmidt; Erik Zawadzki; André Platzer (TACAS, 2015)