Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Curmi, Axel"'
Autor:
Abela, Robert, Colombo, Christian, Curmi, Axel, Fenech, Mattea, Vella, Mark, Ferrando, Angelo
Publikováno v:
EPTCS 391, 2023, pp. 49-62
Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken. Runtime verification techniques present a natural source of inspiration for monitoring and enforcin
Externí odkaz:
http://arxiv.org/abs/2310.02341