@misc{indiciaecc59397d80f6,
  title = {Goal-Aware RSS for Complex Scenarios via Program Logic},
  author = {Ichiro Hasuo and Clovis Eberhart and James Haydon and Jérémy Dubut and Rose Bohrer and Tsutomu Kobayashi and Sasinee Pruekprasert and Xiao-Yi Zhang and Erik André Pallas and Akihisa Yamada and Kohei Suenaga and Fuyuki Ishikawa and Kenji Kamijo and Yoshiyuki Shinya and Takamasa Suetomi},
  year = {2022},
  doi = {10.1109/tiv.2022.3169762},
  url = {https://arxiv.org/abs/2207.02387},
  note = {Source identifier: 2207.02387}
}