32 citations · 32 across the 2 of their papers we have counts for
2 papers
cs.CY2016★ 32 cited
Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review
Admela Jukan, Xavi Masip-Bruin, Nina Amla
Animals play a profoundly important and intricate role in our lives today. Dogs have been human companions for thousands of years, but they now work closely with us to assist the d…
cs.LO2010
A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction
Niklas Een, Alan Mishchenko, Nina Amla
This paper presents an efficient, combined formulation of two widely used abstraction methods for bit-level verification: counterexample-based abstraction (CBA) and proof-based abs…