Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In many situations an agent's behaviour can sensibly be described only in terms of a distribution of probability over a set of possibilities. In such case (agents') decision-making becomes probabilistic too. In this work  consider a probabilistic variant of a ll-known (two-players) Negotiation game and  show, first, how it can be encoded into a Markovian model, and then how a probabilistic model-checker such as PRISM can be used as a tool for its (automated) analysis.  is meant to exemplify that verification through model-checking can be fruitfully applied also to uncertain multi-agent systems. This, in our view, is the first step towards the characterisation of an automated verification method for probabilistic agents.
['Paolo Ballarini', 'Michael Fisher', 'Michael Wooldridge']
I am writing a research paper on a idea Uncertain Agent Verification through Probabilistic Model-Checking
[{"from": "human", "value": "I am writing a research paper on a idea Uncertain Agent Verification through Probabilistic Model-Checking"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In many situations an agent's behaviour can sensibly be described only in terms of a distribution of probability over a set of possibilities. In such case (agents') decision-making becomes probabilistic too. In this work  consider a probabilistic variant of a ll-known (two-players) Negotiation game and  show, first, how it can be encoded into a Markovian model, and then how a probabilistic model-checker such as PRISM can be used as a tool for its (automated) analysis.  is meant to exemplify that verification through model-checking can be fruitfully applied also to uncertain multi-agent systems. This, in our view, is the first step towards the characterisation of an automated verification method for probabilistic agents."}]