Carmen Pardavila

According to our database, Carmen Pardavila authored at least 2 papers in 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Model Checking Multi-Agent Programs with CASP.

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Model checking agentspeak.

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003