Machine learning is widely used to make decisions with societal impact s...
This paper proposes a novel, abstraction-based, certified training metho...
Occlusion is a prevalent and easily realizable semantic perturbation to ...
A critical step in virtual dental treatment planning is to accurately
de...
We present here a SAT-based framework for LTLf (Linear Temporal Logic on...