Login / Signup
On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing.
Raven Beutner
Bernd Finkbeiner
Published in:
CoRR (2023)
Keyphrases
</>
alternating time temporal logic
information sharing
cooperative
pattern matching