11 search results - page 3 / 3 » Incremental CTL Model Checking Using BDD Subsetting |
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...