Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2310.15789
Cited By
Verification of Multi-Agent Properties in Electronic Voting: A Case Study
24 October 2023
Damian Kurpiewski
W. Jamroga
Lukasz Mako
Lukasz Mikulski
Witold Pazderski
W. Penczek
Teofil Sidoruk
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Verification of Multi-Agent Properties in Electronic Voting: A Case Study"
1 / 1 papers shown
Title
Towards Modelling and Verification of Social Explainable AI
Damian Kurpiewski
W. Jamroga
Teofil Sidoruk
AAML
37
3
0
02 Feb 2023
1
