Zobrazeno 1 - 10
of 564
pro vyhledávání: '"Cardoso, Rafael"'
Autor:
Ferrando, Angelo, Cardoso, Rafael
Publikováno v:
EPTCS 391, 2023
The volume comprises the proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), held alongside the 26th European Conference on Artificial Intelligence (ECAI 2023). It explores the convergence of autonomou
Externí odkaz:
http://arxiv.org/abs/2310.00333
Publikováno v:
Phys. Rev. D 109 (2024) 016011
Recently, first-order phase transitions have been predicted as an effect of the inclusion of quark anomalous magnetic moment (AMM) in the hot and magnetized Nambu--Jona-Lasinio model (NJL). These transitions appear in the chiral condensate for differ
Externí odkaz:
http://arxiv.org/abs/2309.04055
Autor:
Cardoso, Rafael Felipe Silva
Os incentivos fiscais concedidos pelos entes públicos às empresas nacionais suscitam cada vez mais o interesse de estudos aprofundados em relação a seu impacto dentro das organizações. Esta pesquisa tem como objetivo analisar os efeitos dos inc
Publikováno v:
EPTCS 371, 2022, pp. 193-207
Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detec
Externí odkaz:
http://arxiv.org/abs/2209.14044
Autor:
Luckcuck, Matt, Farrell, Marie, Ferrando, Angelo, Cardoso, Rafael C., Dennis, Louise A., Fisher, Michael
Robotic systems used in safety-critical industrial situations often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic systems behave as expected requires approaches that can c
Externí odkaz:
http://arxiv.org/abs/2208.05507
Autor:
Cardoso, Rafael C., Ferrando, Angelo, Papacchini, Fabio, Askarpour, Mehrnoosh, Dennis, Louise A.
Publikováno v:
EPTCS 362, 2022
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Arti
Externí odkaz:
http://arxiv.org/abs/2207.09058
Publikováno v:
In The Lancet Regional Health - Europe June 2024 41
Autor:
Ferrando, Angelo, Cardoso, Rafael C.
Publikováno v:
EPTCS 348, 2021, pp. 38-53
Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour is usually formally specified by means of properties, which are used to
Externí odkaz:
http://arxiv.org/abs/2110.12585