Sofia Garcia de Blas Garcia-Alcalde

According to our database, Sofia Garcia de Blas Garcia-Alcalde authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems.

Sofia Garcia de Blas Garcia-Alcalde, Francesco Belardinelli

CoRR, October, 2025