Searching for authors named "Alessio Lomuscio" – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
A logic for knowledge, correctness, and real time
- …A Logic for Knowledge, Correctness, and Real Time ⋆ Bo˙zena Wo´zna and Alessio Lomuscio Department…
- Cited by 2 (1 self) – Add To MetaCart
-
F.: Automatic verification of knowledge and time with NuSMV
- …Automatic Verification of Knowledge and Time with NuSMV Alessio Lomuscio ∗ Dept. of Computing…
- Cited by 1 (1 self) – Add To MetaCart
-
IOS Press LDYIS: a Framework for Model Checking Security Protocols
- … Protocols Alessio Lomuscio Department of Computing Imperial College London, UK A.Lomuscio…
- Add To MetaCart
-
Knowledge Sharing among Ideal Agents
- …Knowledge Sharing among Ideal Agents Alessio Lomuscio A thesis submitted to the School of Computer…
- Cited by 21 (6 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
-
The Bit Transmission Problem Revisited
- …The bit transmission problem revisited ��ÄÓÑÙ×�ÓÅË�Ö�ÓØ��Ó��Ù� Alessio Lomuscio Marek Sergot…
- Cited by 3 (1 self) – Add To MetaCart
-
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's
- … 1 and Alessio Lomuscio 1 Abstract. We present an algorithm for the verification of multiagent…
- Cited by 8 (1 self) – Add To MetaCart
-
Bounded model checking real-time multi-agent systems with clock differences: theory and implementation
- … and implementation Alessio Lomuscio 1⋆ , Bo˙zena Wo´zna 2⋆⋆ , and Andrzej Zbrzezny 2⋆⋆⋆ 1 Department of Computing…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
