BibTeX record journals/corr/abs-2207-02387

• > Home > journals/corr/abs-2207-02387

@article{DBLP:journals/corr/abs-2207-02387,
  author       = {Ichiro Hasuo and
                  Clovis Eberhart and
                  James Haydon and
                  J{\'{e}}r{\'{e}}my Dubut and
                  Rose Bohrer and
                  Tsutomu Kobayashi and
                  Sasinee Pruekprasert and
                  Xiao{-}Yi Zhang and
                  Erik Andr{\'{e}} Pallas and
                  Akihisa Yamada and
                  Kohei Suenaga and
                  Fuyuki Ishikawa and
                  Kenji Kamijo and
                  Yoshiyuki Shinya and
                  Takamasa Suetomi},
  title        = {Goal-Aware {RSS} for Complex Scenarios via Program Logic},
  journal      = {CoRR},
  volume       = {abs/2207.02387},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.02387},
  doi          = {10.48550/ARXIV.2207.02387},
  eprinttype    = {arXiv},
  eprint       = {2207.02387},
  timestamp    = {Wed, 18 Jan 2023 15:49:36 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-02387.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}