Carla Delgado

From MaRDI portal
Person:2873613



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A compositional automata-based approach for model checking multi-agent systems
Electronic Notes in Theoretical Computer Science
2014-01-24Paper
On vague notions and modalities: a modular approach
Logic Journal of the IGPL
2010-07-26Paper
Advances in Artificial Intelligence – SBIA 2004
Lecture Notes in Computer Science
2005-08-22Paper


Research outcomes over time


This page was built for person: Carla Delgado