Author of the publication

Information-Driven Autonomous Intersection Control via Incentive Compatible Mechanisms.

, , , , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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