Nonclassicality Phase-Space Inequalities: Theory and Experiment

We derive phase-space-inequality conditions for the verification of nonclassicality and implement them experimentally. We certify quantum correlations even if the phase-space distributions are nonnegative and demonstrate noise and loss robustness.