-
...
GAI networks are a graphical model, both compact and expressive, for representing the preferences of a Decision Maker in the context of Multiattribute Decision Making,... -
Formal Verification of Concurrent Systems via Directed Model Checking
Model checking suffers from the state explosion problem, due to the exponential increase in the size of a finite state model as the number of system components grows....
