Carla Delgado

From MaRDI portal



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