Probabilistic Resource-bounded Alternating-time Temporal Logic: Extended Abstract

摘要

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