Reductions for safety proofs.

Azadeh Farzan Anthony Vandikas

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

efficient computation
theorem proving
mathematical proofs
formal proof
machine learning
mobile robot
theorem prover
data sets
decision procedures
artificial intelligence
face recognition
digital libraries
safety critical
safety analysis
cut elimination
road safety
real time
formal proofs
database