22:52[Incorrectness'24] Finding counterexamples to ∀∃ hyperpropertiesACM SIGPLAN120 viewsView & Download
50:09Adam Wagner - Finding counterexamples to conjectures via reinforcement learning - IPAM at UCLAInstitute for Pure & Applied Mathematics (IPAM)1.8K viewsView & Download
19:41[PLDI24] Hyper Hoare Logic: (Dis-)Proving Program HyperpropertiesACM SIGPLAN212 viewsView & Download
21:49[POPL 2021] Automata and Fixpoints for Asynchronous Hyperproperties (full)ACM SIGPLAN205 viewsView & Download
17:33TACAS’21: Bounded Model Checking for Hyperproperties, with César Sánchez and Borzoo BonakdarpourTzu-Han360 viewsView & Download
2:00(4.1.13) Unraveling Negations and Counterexamples in Mathematical StatementsMathematician587 viewsView & Download