6 citations · 11 across the 10 of their papers we have counts for
4 papers · 1 filter
Modeling and Verification of a Multi-Agent Argumentation System using NuSMV
Supriya D'Souza, Abhishek Rao, Amit Sharma +1
Autonomous intelligent agent research is a domain situated at the forefront of artificial intelligence. Interest-based negotiation (IBN) is a form of negotiation in which agents ex…
Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol
Swaraj Bhat, Pradeep B. H, Keerthi S. Shetty +1
In ubiquitous computing devices, users tend to store some valuable information in their device. Even though the device can be borrowed by the other user temporarily, it is not safe…
Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier
Vivek Vishal, Sagar Gugwad, Sanjay Singh
This paper addresses the issue of modeling and verification of a Multi Agent System (MAS) scenario. We have considered an agent based adaptive traffic signal system. The system mon…
Ownership Authentication Transfer Protocol for Ubiquitous Computing Devices
radeep B. H, Sanjay Singh
In ubiquitous computing devices, users tend to store some valuable information in their device. Even though the device can be borrowed by the other user temporarily, it is not safe…