138 citations · 597 across the 30 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
Experimental Biological Protocols with Formal Semantics
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska +2
Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computati…
cs.CV2017
Feature-Guided Black-Box Safety Testing of Deep Neural Networks
Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
Despite the improved accuracy of deep neural networks, the discovery of adversarial examples has raised serious safety concerns. Most existing approaches for crafting adversarial e…