|
[BFW06b]
Paolo Ballarini, Michael Fisher and Michael Wooldridge.
Uncertain Agent Verification through Probabilistic Model-Checking.
In Proc. 3rd International Workshop on Safety and Security in Multi-agent Systems (SASEMAS'06).
2006.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|