119 citations · 124 across the 2 of their papers we have counts for
3 papers
cs.LG2017★ 119 cited
Towards Proving the Adversarial Robustness of Deep Neural Networks
Guy Katz, Clark Barrett, David L. Dill +2
Autonomous vehicles are highly complex systems, required to function reliably in a wide variety of situations. Manually crafting software controllers for these vehicles is difficul…
cs.LO2016
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Burak Ekici, Guy Katz, Chantal Keller +3
This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic…
cs.SE2015★ 5 cited
Wise Computing: Towards Endowing System Development with True Wisdom
David Harel, Guy Katz, Rami Marelly +1
Encouraged by significant advances in algorithms and tools for verification and analysis, high level modeling and programming techniques, natural language programming, etc., we fee…