Follow
Vincent Aravantinos
Vincent Aravantinos
Autonomous Intelligent Driving
Verified email at aid-driving.eu
Title
Cited by
Cited by
Year
What the constant velocity model can teach us about pedestrian motion prediction
C Schöller, V Aravantinos, F Lay, A Knoll
IEEE Robotics and Automation Letters 5 (2), 1696-1703, 2020
1172020
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems.
V Aravantinos, S Voss, S Teufl, F Hölzl, B Schätz
ACES-MB&WUCOR@ MoDELS 1508, 19-26, 2015
782015
Decidability and undecidability results for propositional schemata
V Aravantinos, R Caferra, N Peltier
Journal of Artificial Intelligence Research 40, 599-656, 2011
402011
Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective
A Perzylo, J Grothoff, L Lucio, M Weser, S Malakuti, P Venet, ...
IFAC-PapersOnLine 52 (13), 1590-1596, 2019
392019
A schemata calculus for propositional logic
V Aravantinos, R Caferra, N Peltier
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
392009
A resolution calculus for first-order schemata
V Aravantinos, M Echenim, N Peltier
Fundamenta Informaticae 125 (2), 101-133, 2013
282013
Formalization of infinite dimension linear spaces with application to quantum theory
MY Mahmoud, V Aravantinos, S Tahar
NASA Formal Methods Symposium, 413-427, 2013
232013
The simpler the better: Constant velocity for pedestrian motion prediction
C Schöller, V Aravantinos, F Lay, A Knoll
arXiv preprint arXiv:1903.07933 5 (6), 7, 2019
212019
Formal stability analysis of optical resonators
U Siddique, V Aravantinos, S Tahar
NASA Formal Methods Symposium, 368-382, 2013
212013
Formal analysis of optical systems
S Khan-Afshar, U Siddique, MY Mahmoud, V Aravantinos, O Seddiki, ...
Mathematics in Computer Science 8 (1), 39-70, 2014
192014
From specifications to behavior: Maneuver verification in a semantic state space
K Esterle, V Aravantinos, A Knoll
2019 IEEE Intelligent Vehicles Symposium (IV), 2140-2147, 2019
172019
A decidable class of nested iterated schemata
V Aravantinos, R Caferra, N Peltier
International Joint Conference on Automated Reasoning, 293-308, 2010
172010
Platforms4CPS, Key Outcomes and Recommendations
H Thompson, M Reimann, D Ramos-Hernandez, S Bageritz, A Brunet, ...
Steinbeis-Edition, 2018
162018
Regstab: A sat solver for propositional schemata
V Aravantinos, R Caferra, N Peltier
International Joint Conference on Automated Reasoning, 309-315, 2010
162010
Traceability of deep neural networks
V Aravantinos, F Diehl
arXiv preprint arXiv:1812.06744, 2018
132018
Formalization of complex vectors in higher-order logic
SK Afshar, V Aravantinos, O Hasan, S Tahar
International Conference on Intelligent Computer Mathematics, 123-137, 2014
132014
Linear temporal logic and propositional schemata, back and forth
V Aravantinos, R Caferra, N Peltier
2011 Eighteenth International Symposium on Temporal Representation and …, 2011
132011
Modular Transformation from AF3 to nuXmv.
S Kanav, V Aravantinos
MODELS (Satellite Events), 300-306, 2017
112017
On the formal analysis of geometrical optics in HOL
U Siddique, V Aravantinos, S Tahar
International Workshop on Automated Deduction in Geometry, 161-180, 2012
112012
A DPLL proof procedure for propositional iterated schemata
V Aravantinos, R Caferra, N Peltier
Workshop “Structures and Deduction 2009”(ESSLI), 24-38, 2009
92009
The system can't perform the operation now. Try again later.
Articles 1–20