Erik Zawadzki

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges

Jean-Baptiste Jeannin, André Platzer, Peter Capell, 2014, J. Aerosp. Inf. Syst..

Formal verification of ACAS X, an industrial airborne collision avoidance system

Jean-Baptiste Jeannin, André Platzer, Ryan Gardner, 2015, 2015 International Conference on Embedded Software (EMSOFT).

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System

Jean-Baptiste Jeannin, André Platzer, Ryan Gardner, 2015, TACAS.

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges 1

Jean-Baptiste Jeannin, Khalil Ghorbal, Erik Zawadzki, 2014 .

Empirically Testing Decision Making in TAC SCM

Erik Zawadzki, 2007 .

Empirically Evaluating Multiagent Learning Algorithms pdf

Kevin Leyton-Brown, Erik Zawadzki, Asher Lipson, 2014, ArXiv.