Checking Satisfiability of Hyperproperties Using First-Order LogicRaven Beutner, Bernd Finkbeiner|Lecture notes in computer science|2025Cited by 0