vix.ing · top · new · best · stats · spec

Selvaraj, Yuvaraj

  1. Formal Development of Safe Automated Driving using Differential Dynamic Logic
    2022/04/14 by Yuvaraj Selvaraj, Selvaraj, Yuvaraj, Wolfgang Ahrendt +3 · 1 citation
    Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Modeling and Simulation Systems #Systems and Control (eess.SY) #electronic engineering #information engineering