Search for persons
X
?
2024 European Control Conference (ECC) ,
3
Formal Verification of Linear Temporal Logic Specifications..:
, In:
?
4
Edge Computing – EDGE 2023: 7th International Conference, H..
Lecture Notes in Computer Science, 14205
?
2024 IEEE Intelligent Vehicles Symposium (IV) ,
8
Ensuring Safety at Intelligent Intersections: Temporal Logi..:
, In:
?
2024 IEEE Intelligent Vehicles Symposium (IV) ,
14
Small-Scale Testbed for Evaluating C-V2X Applications on 5G..:
, In:
?
Algorithms and Architectures for Parallel Processing; Lecture Notes in Computer Science ,
15