"An Abstraction-based Method to Check Multi-Agent Deep ..."

Pierre El Mqirmi, Francesco Belardinelli, Borja G. León (2021)

Details and statistics

DOI: 10.5555/3463952.3464012

access: open

type: Conference or Workshop Paper

metadata version: 2022-07-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics