Autor der Publikation

Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms.

, , , , und . IEEE Trans. Intell. Transp. Syst., 20 (3): 912-924 (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Design and Analysis of Delay-Tolerant Intelligent Intersection Management., , , und . ACM Trans. Cyber Phys. Syst., 4 (1): 3:1-3:27 (2020)Threat Detection for Collaborative Adaptive Cruise Control in Connected Cars., , , , und . WISEC, Seite 184-189. ACM, (2018)Hardware Virtualization and Task Allocation for Plug-and-Play Automotive Systems., , und . IEEE Des. Test, 38 (5): 65-73 (2021)Platform-Independent QoS Parameters and Primitive APIs for Automotive Software., , , , und . ITSC, Seite 98-104. IEEE, (2018)RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial., , , , , , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 342-357. Springer, (2015)The SMT-based automatic road network generation in vehicle simulation environment., , , , und . EMSOFT, Seite 18:1-18:10. ACM, (2016)Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping., , , , , , , , und . ISSRE Workshops, Seite 73-76. IEEE Computer Society, (2017)Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables., , , , , und . SCAV@CPSWeek, Seite 11-18. ACM, (2017)Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms., , , , und . IEEE Trans. Intell. Transp. Syst., 20 (3): 912-924 (2019)Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments., , und . ACM Trans. Cyber Phys. Syst., 4 (1): 8:1-8:26 (2020)