Showing 1 - 1 results of 1 for search 'Raven Beutner', query time: 0.02s
Refine Results
-
1
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems by Raven Beutner, Bernd Finkbeiner
Published 2023-05-01
Article