A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Parallel and Distributed Systems"
DOI: 10.1109/tpds.2022.3215854
Abstract: As a lightweight method, runtime verification aims to check whether one program execution satisfies a desired property. For online runtime verification, the approach efficiency and property expressiveness are two key points restricting its wide application.… read more here.
Keywords: regular temporal; distributed network; runtime verification; full regular ... See more keywords
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
Sign Up to like & getrecommendations! Published in 2023 at "Robotics"
DOI: 10.3390/robotics12020049
Abstract: This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This is achieved keeping in mind possible… read more here.
Keywords: runtime verification; agent; agent systems; robotic applications ... See more keywords