Searching for authors named "Franco Raimondi" – sorted by Relevance.
-
Verification In Multi-Agent Systems
- Verication in multi-agent systems Franco Raimondi Department of Computer Science King's College
- Add To MetaCart
-
Model Checking Epistemic Properties of Interpreted Systems
- 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
- 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
- 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
- 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
- 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
- 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
- , 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
- 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
- MCMAS: a Model Checker for Multi-Agent Systems Alessio Lomuscio and Franco Raimondi ⋆ Department
- Cited by 16 (9 self) – Add To MetaCart

