Dissipativity-based verification for autonomous systems in adversarial environments
scientific article; zbMATH DE number 7608710