Our group has had a paper accepted for publication in the Artificial Intelligence Journal:

  • A. Lomuscio and E. Pirovano, “A Counter Abstraction Technique for Verifying Properties of Probabilistic Swarm Systems”

More details can be found on the publications page.