Towards Verification of Multicore Motor-Drive Controllers in Aerospace
Alternative Scenarios in Analyzing Florida's Freight Imbalance
FlexRay Robustness Testing Contributing to Automated Safety Certification
Caribbean Ports, Inland Logistics, and the Panama Canal Expansion: A Mode and Port Choice Analysis
Metaheuristics for the Generalised Periodic Electric Vehicle Routing Problem
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles
Toward Reliable Maritime Communication for a Safe Operation of Autonomous Ship
AuthentiCap - A Touchless Vehicle Authentication and Personalization System
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers
Generating Dubins Path for Fixed Wing UAVs in Search Missions
Predicting Cargo Train Failures: A Machine Learning Approach for a Lightweight Prototype