A Counterexample to a Directed KKL Inequality.

Quentin Dubroff Shivam Nadimpalli Bhargav Narayanan

Published in: CoRR (2022)

Keyphrases

model checking
formal verification
high quality
cost function