MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Franco Raimondi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Verification In Multi-Agent Systems
by Franco Raimondi
…Verication in multi-agent systems Franco Raimondi Department of Computer Science King's College…
Add To MetaCart

Model Checking Epistemic Properties of Interpreted Systems
by Franco Raimondi — 2003 — In Proceedings of ESSLLI03 - Student Session
…Model Checking Epistemic Properties of Interpreted Systems Franco Raimondi Department of Computer…
Cited by 1 (1 self) – Add To MetaCart

Automatic Verification of Deontic Properties of Multi-Agent Systems
by Franco Raimondi, Alessio Lomuscio — 2004 — In: Deontic Logic. Volume LNCS 3065
…Automatic verification of deontic properties of multi-agent systems Franco Raimondi and Alessio…
Cited by 3 (0 self) – Add To MetaCart

Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation
by Franco Raimondi, Alessio Lomuscio — 2004
… implementation Franco Raimondi, Alessio Lomuscio Department of Computer Science King's College London London, UK…
Cited by 18 (5 self) – Add To MetaCart

A Tool for Specification and Verification of Epistemic Properties in Interpreted Systems
by Franco Raimondi, Alessio Lomuscio — 2003 — In Proc. of the Int. Workshop on Logic and Communication in Multi-Agent Systems (LCMAS’03), volume 85(2) of ENTCS
… Systems Franco Raimondi and Alessio Lomuscio Department of Computer Science King's College London London…
Cited by 3 (0 self) – Add To MetaCart

Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's
by Franco Raimondi, Alessio Lomuscio — 2004
…Automatic verification of deontic interpreted systems by model checking via OBDD's Franco Raimondi…
Cited by 8 (1 self) – Add To MetaCart

Symbolic Model Checking of Multi-Agent Systems Using OBDDs
by Franco Raimondi, Alessio Lomuscio — 2005 — In Proc. of the 3rd NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS III), volume 3228 of LNCS
…Symbolic model checking of multi-agent systems using OBDDs Franco Raimondi, Alessio Lomuscio…
Cited by 1 (0 self) – Add To MetaCart

The complexity of model checking concurrent programs against CTLK specifications
by Alessio Lomuscio, Franco Raimondi — 2006 — ACM, 2006. Checking Knowledge and Linear Time: PSPACE Cases 17
…, Japan. Copyright 2006 ACM 1-59593-303-4/06/0005 ...$5.00. Alessio Lomuscio, Franco Raimondi Department…
Cited by 2 (0 self) – Add To MetaCart

Symbolic model checking of logics with actions
by Charles Pecheur, Franco Raimondi — 2006 — In Proceedings of MoChArt 2006, Lecture Notes in Artificial Intelligence
…Symbolic Model Checking of Logics with Actions Charles Pecheur 1⋆ and Franco Raimondi 2⋆⋆ 1…
Cited by 2 (2 self) – Add To MetaCart

Mcmas: A model checker for multi-agent systems
by Alessio Lomuscio, Franco Raimondi — 2006 — Proceedings of TACAS 2006
…MCMAS: a Model Checker for Multi-Agent Systems Alessio Lomuscio and Franco Raimondi ⋆ Department…
Cited by 16 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB