AliDrone: Enabling Trustworthy Proof-of-Alibi for Commercial Drone Compliance.

Tianyuan Liu Avesta Hojjati Adam Bates Klara Nahrstedt

Published in: ICDCS (2018)

Keyphrases

theorem prover
neural network
theorem proving
linear logic
real time
machine learning
feature selection
case study
multi agent
multiresolution
proof theory
proof planning