output
20122026
most citedCombining Planning and Deep Reinforcement Learning in Tactical Decision Making for Autonomous Driving

313 citations

Showing 2025Show all

5 papers · 1 filter

cs.CR2025★ 1 cited

Towards a Formal Verification of Secure Vehicle Software Updates

Martin Slind Hagen, Emil Lundqvist, Alex Phu +3

With the rise of software-defined vehicles (SDVs), where software governs most vehicle functions alongside enhanced connectivity, the need for secure software updates has become in…

cs.RO2025

Using Behavior Trees in Risk Assessment

Razan Ghzouli, Atieh Hanna, Endre Erös +1

Cyber-physical production systems increasingly involve collaborative robotic missions, requiring more demand for robust and safe missions. Industries rely on risk assessments to id…

eess.SY2025★ 2 cited

A Practical Approach to Generating First-Order Rician Channel Statistics in a RC plus CATR Chamber at mmWave

Alejandro Antón Ruiz, Samar Hosseinzadegan, John Kvarnstrand +2

This paper explores a novel hybrid configuration integrating a Reverberation Chamber (RC) with a Compact Antenna Test Range (CATR) to achieve a controllable Rician K-factor. The fo…

cs.SE2025

Polymer: Development Workflows as Software

Dhasarathy Parthasarathy, Yinan Yu, Earl T. Barr

Software development builds digital tools to automate processes, yet its initial phases, up to deployment, remain largely manual. There are two reasons: Development tasks are often…

eess.SY2025★ 4 cited

A Transferable Physics-Informed Framework for Battery Degradation Diagnosis, Knee-Onset Detection and Knee Prediction

Huang Zhang, Xixi Liu, Faisal Altaf +1

The techno-economic and safety concerns of battery capacity knee occurrence call for developing online knee detection and prediction methods as an advanced battery management syste…