A compositional proof framework for FRETish requirements.

Esther Conrad Laura Titolo Dimitra Giannakopoulou Thomas Pressburger Aaron Dutle

Published in: CPP (2022)

Keyphrases

neural network
main contribution
theorem proving
real time
real world
image processing
application specific