Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2202.09344
Cited By

Towards the Combination of Model Checking and Runtime Verification on
Multi-Agent Systems

v1v2 (latest)

Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems

Practical Applications of Agents and Multi-Agent Systems (PAAMS), 2022

18 February 2022

Angelo Ferrando

ArXiv (abs)PDF HTML Github

Papers citing "Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems"

5 / 5 papers shown

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Georgios Fainekos

Jyotirmoy Deshmukh

563

3

0

03 Apr 2025

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent
Systems

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems

Angelo Ferrando

153

7

0

04 Mar 2024

Scalable Verification of Strategy Logic through Three-valued Abstraction

Scalable Verification of Strategy Logic through Three-valued AbstractionInternational Joint Conference on Artificial Intelligence (IJCAI), 2023

Francesco Belardinelli

Angelo Ferrando

145

4

0

26 Oct 2023

The Impact of Strategies and Information in Model Checking for
Multi-Agent Systems

The Impact of Strategies and Information in Model Checking for Multi-Agent Systems

146

0

0

03 Oct 2023

Towards the Verification of Strategic Properties in Multi-Agent Systems
with Imperfect Information

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect InformationAdaptive Agents and Multi-Agent Systems (AAMAS), 2021

Angelo Ferrando

153

17

0

27 Dec 2021

Page 1 of 1