Erik Zawadzki

According to our database, Erik Zawadzki authored at least 8 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the 2015 International Conference on Embedded Software, 2015

Nonparametric Scoring Rules.

Erik Peter Zawadzki, Sébastien Lahaie

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

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

Empirically Evaluating Multiagent Learning Algorithms.

Erik Zawadzki, Asher Lipson, Kevin Leyton-Brown

CoRR, 2014

2013

A Generalization of SAT and #SAT for Robust Policy Evaluation.

Erik Peter Zawadzki, André Platzer, Geoffrey J. Gordon

Proceedings of the IJCAI 2013, 2013

Memory-efficient groupby-aggregate using compressed buffer trees.

Hrishikesh Amur, Wolfgang Richter, David G. Andersen, Michael Kaminsky, Karsten Schwan, Athula Balachandran, Erik Zawadzki

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2011

An Instantiation-Based Theorem Prover for First-Order Programming.

Erik Zawadzki, Geoffrey J. Gordon, André Platzer

Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, 2011