11 search results - page 3 / 3 » Incremental CTL Model Checking Using BDD Subsetting |
118
Voted
ATAL
2007
Springer
15 years 9 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 ...