Vincent Aravantinos

10 papers and 184 indexed citations i.

Vincent Aravantinos has authored 10 papers that have received a total of 184 indexed citations. This includes 6 papers in Artificial Intelligence, 3 papers in Electrical and Electronic Engineering and 3 papers in Computational Theory and Mathematics. The topics of these papers are Autonomous Vehicle Technology and Safety (3 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers). Vincent Aravantinos is often cited by papers focused on Autonomous Vehicle Technology and Safety (3 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in Germany, France and Canada. Vincent Aravantinos's co-authors include Alois Knoll, Sofiène Tahar, Nicolas Peltier, Ricardo Caferra and Lucio Levi and has published in prestigious journals such as Journal of Artificial Intelligence Research, IEEE Robotics and Automation Letters and IFAC-PapersOnLine.