Learning Temporal Logic Predicates from Data with Statistical Guarantees.

Emi Soroka Rohan Sinha Sanjay Lall

Published in: CoRR (2024)

Keyphrases

temporal logic
learning algorithm
model checking
background knowledge
data sources
domain independent
user defined