Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2302.01063
Cited By
v1
v2 (latest)
Towards Modelling and Verification of Social Explainable AI
2 February 2023
Damian Kurpiewski
W. Jamroga
Teofil Sidoruk
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards Modelling and Verification of Social Explainable AI"
1 / 1 papers shown
Title
Practical Model Reductions for Verification of Multi-Agent Systems
W. Jamroga
Yan Kim
19
2
0
19 Jul 2023
1
