Formal verification of emergent properties - Boumaza, Kamal (Informatica (Ljubljana), 2021)
Keywords: kompleksni sistemi; umetna inteligenca