SEAN 2.0: Formalizing and Generating Social Situations for Robot Navigation | IEEE Journals & Magazine | IEEE Xplore