We include bot traffic; google doesn’t.
Over the past 7 days, I see all of the top 4 user agents as being things that GA might miss. This is “number of resources served per user agent”:
