A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “connected and autonomous vehicles” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
2021 conference-paper Computer Science Formal Methods in Verification

Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee

3

citations
Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Software Engineering Techniques and Practices Open access

Armin Mokhtarian, Alexandru Kampmann, Bassam Alrifaee, Stefan Kowalewski, Bastian Lampe, Lutz Eckstein

3

citations
Yes we CAN!
2023 ACM International Conference on Computing Frontiers (CF) conference-paper Computer Science Security and Verification in Computing Open access

Wouter Hellemans, Md Masoom Rabbani, Bart Preneel, Nele Mentens

0

citations
Zero-shot MARL benchmark in the Cyber-Physical Mobility Lab
2026 at - Automatisierungstechnik article Computer Science Reinforcement Learning in Robotics Open access

Julius Beerwerth, Jianye Xu, Simon Schäfer, Fynn Belderink, Bassam Alrifaee

0

citations
Zero-shot MARL benchmark in the Cyber-Physical Mobility Lab
2026 at - Automatisierungstechnik article Computer Science Reinforcement Learning in Robotics Open access

Julius Beerwerth, Jianye Xu, Simon Schäfer, Fynn Belderink, Bassam Alrifaee

0

citations

5 results