Uncertain Agent Verification through Probabilistic Model-Checking.
P. Ballarini, M. Fisher, and M. Wooldridge. Safety and Security in Multiagent Systems, volume 4324 of Lecture Notes in Computer Science, Springer, (2009)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 series/lncs/BallariniFW09
%A Ballarini, Paolo
%A Fisher, Michael
%A Wooldridge, Michael J.
%B Safety and Security in Multiagent Systems
%D 2009
%E Barley, Mike
%E Mouratidis, Haralambos
%E Unruh, Amy
%E Spears, Diana F.
%E Scerri, Paul
%E Massacci, Fabio
%I Springer
%K dblp
%P 162-174
%T Uncertain Agent Verification through Probabilistic Model-Checking.
%U http://dblp.uni-trier.de/db/series/lncs/lncs4324.html#BallariniFW09
%V 4324
%@ 978-3-642-04878-4
@incollection{series/lncs/BallariniFW09,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Ballarini, Paolo and Fisher, Michael and Wooldridge, Michael J.},
biburl = {https://www.bibsonomy.org/bibtex/277c59acdced16477e4910d7c8de1ba5c/dblp},
booktitle = {Safety and Security in Multiagent Systems},
crossref = {series/lncs/4324},
editor = {Barley, Mike and Mouratidis, Haralambos and Unruh, Amy and Spears, Diana F. and Scerri, Paul and Massacci, Fabio},
ee = {https://www.wikidata.org/entity/Q98283682},
interhash = {886dac23c00f6fd7664f91a0121f1d81},
intrahash = {77c59acdced16477e4910d7c8de1ba5c},
isbn = {978-3-642-04878-4},
keywords = {dblp},
pages = {162-174},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T03:22:07.000+0200},
title = {Uncertain Agent Verification through Probabilistic Model-Checking.},
url = {http://dblp.uni-trier.de/db/series/lncs/lncs4324.html#BallariniFW09},
volume = 4324,
year = 2009
}