Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Angelo Ferrando
Researcher
PaperRV4JaCa -- Runtime Verification for Multi-Agent SystemsAuthorship / preprint / 2022PaperProceedings of the Second Workshop on Agents and Robots for reliable Engineered AutonomyAuthorship / preprint / 2022PaperCan determinism and compositionality coexist in RML?Authorship / preprint / 2020PaperCan determinism and compositionality coexist in RML? (extended version)Authorship / preprint / 2020PaperProceedings of the First Workshop on Agents and Robots for reliable Engineered AutonomyAuthorship / preprint / 2020PaperLFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming ContestAuthorship / preprint / 2020PaperHeterogeneous Verification of an Autonomous Curiosity RoverAuthorship / preprint / 2020