Zobrazeno 1 - 10
of 119
pro vyhledávání: '"Katsaros, Panagiotis"'
Autor:
AbdElSalam, Mohamed, Ali, Loai, Bensalem, Saddek, He, Weicheng, Katsaros, Panagiotis, Kekatos, Nikolaos, Peled, Doron, Temperekidis, Anastasios, Wu, Changshun
In this paper, we present a novel digital twin prototype for a learning-enabled self-driving vehicle. The primary objective of this digital twin is to perform traffic sign recognition and lane keeping. The digital twin architecture relies on co-simul
Externí odkaz:
http://arxiv.org/abs/2402.09097
Two pretrained neural networks are deemed equivalent if they yield similar outputs for the same inputs. Equivalence checking of neural networks is of great importance, due to its utility in replacing learning-enabled components with equivalent ones,
Externí odkaz:
http://arxiv.org/abs/2203.11629
Publikováno v:
In The Journal of Systems & Software January 2025 219
Autor:
Lekidis, Alexios, Katsaros, Panagiotis
Publikováno v:
EPTCS 272, 2018, pp. 24-38
A major challenge that is currently faced in the design of applications for the Internet of Things (IoT) concerns with the optimal use of available energy resources given the battery lifetime of the IoT devices. The challenge is derived from the hete
Externí odkaz:
http://arxiv.org/abs/1807.01242
Publikováno v:
EPTCS 272, 2018, pp. 79-92
Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simulation or other means. The analysis results are then used for modifying
Externí odkaz:
http://arxiv.org/abs/1806.09850
Autor:
Toliopoulos, Theodoros, Nikolaidis, Nikodimos, Michailidou, Anna-Valentini, Seitaridis, Andreas, Nestoridis, Theodoros, Oikonomou, Chrysa, Temperekidis, Anastasios, Gioulekas, Fotios, Gounaris, Anastasios, Bassiliades, Nick, Katsaros, Panagiotis, Georgiadis, Apostolos, Liotopoulos, Fotis K.
Publikováno v:
In Journal of Parallel and Distributed Computing April 2022 162:59-75
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Logical Methods in Computer Science, Volume 11, Issue 3 (September 17, 2015) lmcs:1587
Given a Kripke structure M and CTL formula $\varphi$, where M does not satisfy $\varphi$, the problem of Model Repair is to obtain a new model M' such that M' satisfies $\varphi$. Moreover, the changes made to M to derive M' should be minimum with re
Externí odkaz:
http://arxiv.org/abs/1506.06165
Publikováno v:
In Array September 2020 7