"Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent ..."

Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics