| 2008 |
|---|
| 4 | EE | Mario R. F. Benevides,
Carla A. D. M. Delgado,
Michel Carlini:
Proving Epistemic and Temporal Properties from Knowledge Based Programs.
SBIA 2008: 134-144 |
| 3 | EE | Mario R. F. Benevides,
Carla A. D. M. Delgado,
Carlos López Pombo,
Luis Lopes,
Ricardo Ribeiro:
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems.
Electr. Notes Theor. Comput. Sci. 195: 133-149 (2008) |
| 2004 |
|---|
| 2 | EE | Mario R. F. Benevides,
Carla A. D. M. Delgado,
Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso:
On Modalities for Vague Notions.
SBIA 2004: 1-10 |
| 2002 |
|---|
| 1 | | Carla A. D. M. Delgado,
Mario R. F. Benevides:
Reasoning about Events and Knowledge in Distributed Systems.
IC-AI 2002: 1213-1219 |
