Authors Search About

Beutner, Raven

1 publications

AAAI 2024 On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing Raven Beutner, Bernd Finkbeiner

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy