Verifying Fault-Tolerance in Probabilistic Swarm Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessio Lomuscio, Edoardo Pirovano. Verifying Fault-Tolerance in Probabilistic Swarm Systems. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 325-331, ijcai.org, 2020. [doi]

This author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Edoardo Pirovano' in Google

runs on WebDSL