Model-Checking an Ecosystem Model for Decision-Aid.

Marie-Odile Cordier, Christine Largout, Yulong Zhao

Browse the full ICTAI paper archive.