Erik Zawadzki

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 2

Top Topics

Collision Avoidance

Parallel Search

Visual Navigation

Inductive Learning Algorithms

Top Venues

J. Aerosp. Inf. Syst.

Publications

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
Formal verification of ACAS X, an industrial airborne collision avoidance system. EMSOFT (2015)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. TACAS (2015)
Erik Zawadzki, Asher Lipson, Kevin Leyton-Brown
Empirically Evaluating Multiagent Learning Algorithms. CoRR (2014)
Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. J. Aerosp. Inf. Syst. 11 (10) (2014)
Hrishikesh Amur, Wolfgang Richter, David G. Andersen, Michael Kaminsky, Karsten Schwan, Athula Balachandran, Erik Zawadzki
Memory-efficient groupby-aggregate using compressed buffer trees. SoCC (2013)
Erik Zawadzki, Geoffrey J. Gordon, André Platzer
An Instantiation-Based Theorem Prover for First-Order Programming. AISTATS (2011)