I would use a carbide scraper, which you can get at any home center. It will make pretty short work of drips and runs and allows a good deal of control.

The alternative is sanding, which can be slow and dusty, unless you wet sand, which is messy unless you can do it outside.