Probabilistic Resource-bounded Alternating-time Temporal Logic

This paper extends resource-bounded ATL with probabilistic reasoning and provides the syntax and semantics of the resulting logic, probabilistic resource-bounded ATL.