Proceedings

André Platzer

1 paper in the IJCAI proceedings

IJCAI 2013

A Generalization of SAT and #SAT for Robust Policy Evaluation
with Erik Peter Zawadzki, Geoffrey J. Gordon
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards