27 citations · 81 across the 20 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.MA2023
Scalable Verification of Strategy Logic through Three-valued Abstraction
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga +2
The model checking problem for multi-agent systems against Strategy Logic specifications is known to be non-elementary. On this logic several fragments have been defined to tackle…
cs.MA2023
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy
Angelo Ferrando, Rafael Cardoso
The volume comprises the proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), held alongside the 26th European Conference on Artific…