Alessio Lomuscio, Edoardo Pirovano. A counter abstraction technique for verifying properties of probabilistic swarm systems. Artificial Intelligence, 305:103666, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.