Goal-Aware RSS for Complex Scenarios via Program Logic.
Ichiro HasuoClovis EberhartJames HaydonJérémy DubutRose BohrerTsutomu KobayashiSasinee PruekprasertXiao-Yi ZhangErik André PallasAkihisa YamadaKohei SuenagaFuyuki IshikawaKenji KamijoYoshiyuki ShinyaTakamasa SuetomiPublished in: CoRR (2022)