44 citations · 88 across the 38 of their papers we have counts for
10 papers · 1 filter
Autonomous Driving with Priority-Ordered STL Specifications Under Multimodal Uncertainty
Taha Bouzid, Shuhao Qi, Mircea Lazar +1
Autonomous vehicles must plan trajectories that satisfy multiple requirements, such as safety, traffic-rule compliance, and passenger comfort. However, in safety-critical scenarios…
Situation-Aware Interactive MPC Switching for Autonomous Driving
Shuhao Qi, Qiling Aori, Luyao Zhang +2
Autonomous driving in interactive traffic scenarios remains challenging because of the mutual influence among vehicles and the inherent uncertainty of surrounding agents. Several m…
A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
Zengjie Zhang, Giannis Badakis, Michalis Galanis +4
Simulators are useful tools for testing automated driving controllers. Vehicle-in-the-loop (ViL) tests and digital twins (DTs) are widely used simulation technologies to facilitate…
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini +3
Developing trustworthy multi-agent systems for practical applications is challenging due to the complicated communication of situational awareness (SA) among agents. This paper sho…
VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
Teun van de Laar, Zengjie Zhang, Shuhao Qi +2
It has been an ambition of many to control a robot for a complex task using natural language (NL). The rise of large language models (LLMs) makes it closer to coming true. However,…
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside''
Cosimo Della Santina, Carlos Hernandez Corbato, Burak Sisman +28
Consciousness has been historically a heavily debated topic in engineering, science, and philosophy. On the contrary, awareness had less success in raising the interest of scholars…