Login / Signup
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing.
Raven Beutner
Bernd Finkbeiner
Published in:
AAAI (2024)
Keyphrases
</>
alternating time temporal logic
reinforcement learning
learning styles
model checking
information sharing
search strategies
imperfect information