Tag Cloud

1 document / tag : probabilistic model checking / A&A

page_white_acrobat

Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter, 2009) — Luca Gardelli, Mirko Viroli, Andrea Omicini

[ tag cloud / A&A ]

A&A

home • publications • talks • theses • tags • people • contacts • related

A&A / Related

CArtAgO • simpA • simpAL • SODA • TuCSoN

A&A / Contacts

Alessandro Ricci • Andrea Omicini • Mirko Viroli