Sound like bald faced hornets. Larger than the yellow/black variety, and actually much less aggressive. I think you're safe just doing nothing at all. Very unlikely that they will sting you now that you know they are there. And your pets have already been stung, so they will probably avoid them.