Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Franco Raimondi
A Computationally Grounded, Weighted Doxastic Logic
Studia Logica
Philosophy of Science
Logic
History
McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Comparing Approaches for Model-Checking Strategies Under Imperfect Information and Fairness Constraints
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Analysis and Verification of ECA Rules in Intelligent Environments
Journal of Ambient Intelligence and Smart Environments
Software
A Model for Trustworthy Orchestration in the Internet of Things
A Proof-Theoretic Trust and Reputation Model for VANET
Multi-Agent Based Simulations of Block-Free Distributed Ledgers
McMas: A Model Checker for Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model to Design and Verify Context-Aware Adaptive Service Composition
