Proof of aliveness.

Chenglu Jin Zheng Yang Marten van Dijk Jianying Zhou

Published in: ACSAC (2019)

Keyphrases

theorem prover
theorem proving
data mining
proof planning
object recognition
information technology
computer vision
information systems
multiscale
reinforcement learning
cooperative
expert systems
probabilistic model
proof search
geometry theorem proving
interactive theorem proving