tag : probabilistic model checking

1 publication / Andrea Omicini
page_white_acrobat Combining Simulation and Formal Tools for Developing Self-Organizing MAS (2009) — Luca Gardelli, Mirko Viroli, Andrea Omicini
[ tag cloud  /  Andrea Omicini  /  publications ]