185 citations · 185 across the 1 of their papers we have counts for
4 papers
Architectural Design Alternatives based on Cloud/Edge/Fog Computing for Connected Vehicles
Haoxin Wang, Tingting Liu, BaekGyu Kim +4
As vehicles playing an increasingly important role in people's daily life, requirements on safer and more comfortable driving experience have arisen. Connected vehicles (CVs) can p…
Reliable Smart Road Signs
Muhammed O. Sayin, Chung-Wei Lin, Eunsuk Kang +2
In this paper, we propose a game theoretical adversarial intervention detection mechanism for reliable smart road signs. A future trend in intelligent transportation systems is ``s…
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety
Eric S. Kim, Murat Arcak, Sanjit A. Seshia +2
Distributed controllers are often necessary for a multi-agent system to satisfy safety properties such as collision avoidance. Communication and coordination are key requirements i…
Reliable Intersection Control in Non-cooperative Environments
Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi +1
We propose a reliable intersection control mechanism for strategic autonomous and connected vehicles (agents) in non-cooperative environments. Each agent has access to his/her earl…