Goal-Aware RSS for Complex Scenarios via Program Logic
Ichiro Hasuo
(1, 2)
,
Clovis Eberhart
(1, 3)
,
James Haydon
(1)
,
Jérémy Dubut
(1, 3)
,
Rose Bohrer
(4)
,
Tsutomu Kobayashi
(1)
,
Sasinee Pruekprasert
(1)
,
Xiao-Yi Zhang
(1)
,
Erik André Pallas
(5)
,
Akihisa Yamada
(6, 1)
,
Kohei Suenaga
(7, 1)
,
Fuyuki Ishikawa
(1)
,
Kenji Kamijo
,
Yoshiyuki Shinya
,
Takamasa Suetomi
1
NII -
National Institute of Informatics
2 SOKENDAI - Graduate University for Advanced Studies [Hayama]
3 JFLI - Japanese French Laboratory for Informatics
4 WPI - Worcester Polytechnic Institute
5 UNIA - Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsbourg [Allemagne]
6 AIST - National Institute of Advanced Industrial Science and Technology
7 Graduate School of Informatics [Kyoto University]
2 SOKENDAI - Graduate University for Advanced Studies [Hayama]
3 JFLI - Japanese French Laboratory for Informatics
4 WPI - Worcester Polytechnic Institute
5 UNIA - Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsbourg [Allemagne]
6 AIST - National Institute of Advanced Industrial Science and Technology
7 Graduate School of Informatics [Kyoto University]
Ichiro Hasuo
- Fonction : Auteur
- PersonId : 772794
- ORCID : 0000-0002-8300-4650
Clovis Eberhart
- Fonction : Auteur
- PersonId : 1264279
Jérémy Dubut
- Fonction : Auteur
- PersonId : 1639018
- IdHAL : jeremy-dubut
- ORCID : 0000-0002-2640-3065
- IdRef : 204099617
Sasinee Pruekprasert
- Fonction : Auteur
- PersonId : 1264289
- ORCID : 0000-0002-5929-9014
Xiao-Yi Zhang
- Fonction : Auteur
- PersonId : 1264290
- ORCID : 0000-0001-7414-8057
Erik André Pallas
- Fonction : Auteur
- PersonId : 1264291
- ORCID : 0000-0001-5363-8030
Kohei Suenaga
- Fonction : Auteur
- PersonId : 1264292
- ORCID : 0000-0002-7466-8789
Fuyuki Ishikawa
- Fonction : Auteur
- PersonId : 1264284
- ORCID : 0000-0001-7725-2618
Kenji Kamijo
- Fonction : Auteur
Yoshiyuki Shinya
- Fonction : Auteur
- PersonId : 1264293
- ORCID : 0000-0003-4752-8622
Takamasa Suetomi
- Fonction : Auteur