The Car Guide

2026 Subaru Crosstrek Hybrid: Better The Third Time

The first two attempts to electrify the Subaru Crosstrek largely failed. The original XV Crosstrek Hybrid (2014-2016) lacked ...

These are the best SUVs under $40,000, according to Edmunds

If you're looking for a quality SUV that doesn't break the bank, here are 10 of the best options under $40,000, according to ...
CarBuzz

How Subaru's AWD System Went From Lever-Operated To Artificial Intelligence

The SAWD system faithfully served its time with the Leone wagon as an all-mechanical, lever-activated system. However, come ...
IEEE

Investigation of Formal Verification of Autonomous Vehicle Control Systems Through Specification Translation from Cafeobj to Real-Time Maude

Abstract: This study investigates the formal specification and verification of autonomous vehicle control systems through specification translation between CafeOBJ and Real-Time Maude. The research ...
IEEE

Distributed Data-Driven Secure Cooperative Control for a Connected Homogeneous Vehicle Platoon Under Denial-of-Service Attacks

Abstract: This paper investigates a distributed data-driven secure coordination (DDDSC) control strategy for a connected homogeneous vehicle (CHV) platoon under denial of service (DoS) attacks. First, ...