Raven Beutner

1
Papers
2
Total Citations

Papers (1)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing

AAAI 2024arXiv
2
citations