Sciweavers

201 search results - page 41 / 41
» Model Checking Discounted Temporal Properties
Sort
View
ATAL
2005
Springer
13 years 10 months ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...