TY  - RPRT
TI  - Goal-Aware RSS for Complex Scenarios via Program Logic
AU  - Ichiro Hasuo
AU  - Clovis Eberhart
AU  - James Haydon
AU  - Jérémy Dubut
AU  - Rose Bohrer
AU  - Tsutomu Kobayashi
AU  - Sasinee Pruekprasert
AU  - Xiao-Yi Zhang
AU  - Erik André Pallas
AU  - Akihisa Yamada
AU  - Kohei Suenaga
AU  - Fuyuki Ishikawa
AU  - Kenji Kamijo
AU  - Yoshiyuki Shinya
AU  - Takamasa Suetomi
PY  - 2022
DO  - 10.1109/tiv.2022.3169762
UR  - https://arxiv.org/abs/2207.02387
ID  - 2207.02387
ER  -