Model-Checking an Ecosystem Model for Decision-Aid.

Marie-Odile Cordier Christine Largouët Yulong Zhao

Published in: ICTAI (2014)

Keyphrases

model checking
model checker
bayesian networks
temporal logic
finite state machines
probability distribution
decision makers
formal methods
formal verification
temporal properties
ctl model update