Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Aravantinos, Vincent"'
Autor:
Bayha, Andreas, Aravantinos, Vincent
Engineering a product-line is more than just describing a product-line: to be correct, every variant that can be generated must satisfy some constraints. To ensure that all such variants will be correct (e.g. well-typed) there are only two ways: eith
Externí odkaz:
http://arxiv.org/abs/2008.11427
To realize a market entry of autonomous vehicles in the foreseeable future, the behavior planning system will need to abide by the same rules that humans follow. Product liability cannot be enforced without a proper solution to the approval trap. In
Externí odkaz:
http://arxiv.org/abs/1905.00708
Pedestrian motion prediction is a fundamental task for autonomous robots and vehicles to operate safely. In recent years many complex approaches based on neural networks have been proposed to address this problem. In this work we show that - surprisi
Externí odkaz:
http://arxiv.org/abs/1903.07933
Autor:
Aravantinos, Vincent, Diehl, Frederik
[Context.] The success of deep learning makes its usage more and more tempting in safety-critical applications. However such applications have historical standards (e.g., DO178, ISO26262) which typically do not envision the usage of machine learning.
Externí odkaz:
http://arxiv.org/abs/1812.06744
Autor:
Aravantinos, Vincent
Le domaine de cette thèse est la déduction automatique, c.-à-d. le développement d'algorithmes dont le but est de prouver automatiquement des conjectures mathématiques. Dans cette thèse, les conjectures que nous voulons prouver appartiennent à
Complex vector analysis is widely used to analyze continuous systems in many disciplines, including physics and engineering. In this paper, we present a higher-order-logic formalization of the complex vector space to facilitate conducting this analys
Externí odkaz:
http://arxiv.org/abs/1405.4034
Autor:
Khan-Afshar, Sanaz, Siddique, Umair, Mahmoud, Mohamed Yousri, Aravantinos, Vincent, Seddiki, Ons, Hasan, Osman, Tahar, Sofiene
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system model
Externí odkaz:
http://arxiv.org/abs/1403.3039
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 40, pages 599-656, 2011
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized by arithmetic variables. The satisfiability problem is shown to be unde
Externí odkaz:
http://arxiv.org/abs/1401.3900
Autor:
Perzylo, Alexander, Grothoff, Julian, Lucio, Levi, Weser, Michael, Malakuti, Somayeh, Venet, Pierre, Aravantinos, Vincent, Deppe, Torben
Publikováno v:
In IFAC PapersOnLine 2019 52(13):1590-1596
Autor:
Aravantinos, Vincent, Peltier, Nicolas
Two distinct algorithms are presented to extract (schemata of) resolution proofs from closed tableaux for propositional schemata. The first one handles the most efficient version of the tableau calculus but generates very complex derivations (denoted
Externí odkaz:
http://arxiv.org/abs/1106.2692