A computational approach to synthesizing guards for hybrid systems
scientific article; zbMATH DE number 6362023
scientific article