A Compositional Proof Framework for FRETish Requirements.

Esther Conrad Laura Titolo Dimitra Giannakopoulou Thomas Pressburger Aaron Dutle

Published in: CoRR (2022)

Keyphrases

website
real time
data sets
databases
genetic algorithm
computer vision
information systems
decision making
reinforcement learning
feature space
relational databases
probabilistic model
main contribution
software architecture