211 search results - page 43 / 43 » Formal Modelling and Verification in Service-Oriented Comput... |
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...