From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms.

M. Sayin, C. Lin, S. Shiraishi, J. Shen, и T. Basar. IEEE Trans. Intell. Transp. Syst., 20 (3): 912-924 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Shinichi Kotabe

Fumito Shiraishi

Другие публикации лиц с тем же именем

Threat Detection for Collaborative Adaptive Cruise Control in Connected Cars.M. Jagielski, N. Jones, C. Lin, C. Nita-Rotaru, и S. Shiraishi. WISEC, стр. 184-189. ACM, (2018)Design and Analysis of Delay-Tolerant Intelligent Intersection Management.B. Zheng, C. Lin, S. Shiraishi, и Q. Zhu. ACM Trans. Cyber Phys. Syst., 4 (1): 3:1-3:27 (2020)Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems.C. Lin, B. Kim, и S. Shiraishi. IEEE Des. Test, 38 (5): 65-73 (2021)RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.P. Daian, Y. Falcone, P. Meredith, T. Serbanuta, S. Shiraishi, A. Iwai, и G. Rosu. RV, том 9333 из Lecture Notes in Computer Science, стр. 342-357. Springer, (2015)Platform-Independent QoS Parameters and Primitive APIs for Automotive Software.B. Kim, C. Lin, E. Kang, N. Tomatsu, и S. Shiraishi. ITSC, стр. 98-104. IEEE, (2018)The SMT-based automatic road network generation in vehicle simulation environment.B. Kim, A. Jarandikar, J. Shum, S. Shiraishi, и M. Yamaura. EMSOFT, стр. 18:1-18:10. ACM, (2016)Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping.S. Dai, J. Hite, T. Masuda, Y. Kashiba, N. Aréchiga, S. Shiraishi, S. Eisele, J. Scott, и T. Bapty. ISSRE Workshops, стр. 73-76. IEEE Computer Society, (2017)Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms.M. Sayin, C. Lin, S. Shiraishi, J. Shen, и T. Basar. IEEE Trans. Intell. Transp. Syst., 20 (3): 912-924 (2019)Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables.N. Aréchiga, S. Dathathri, S. Vernekar, N. Kathare, S. Gao, и S. Shiraishi. SCAV@CPSWeek, стр. 11-18. ACM, (2017)Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments.B. Kim, T. Masuda, и S. Shiraishi. ACM Trans. Cyber Phys. Syst., 4 (1): 8:1-8:26 (2020)

BibSonomy

Disambiguation