Verification and Behavioral Synthesis of Agent-Based Systems

dc.creator	Asteasuain, Fernando
dc.creator	D'Angiolo, Federico
dc.creator	Dubinsky, Manuel
dc.creator	Gamboa, Pablo Daniel
dc.date.accessioned	2025-10-15T15:59:49Z
dc.date.available	2025-10-15T15:59:49Z
dc.identifier	https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3494
dc.identifier.uri	https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/273373
dc.format	application/pdf
dc.title	Verification and Behavioral Synthesis of Agent-Based Systems