Learning Temporal Logic Formulas from Time-Series Data (Invited Talk).

Published in: TIME (2023)

Keyphrases

temporal logic
model checking
learning process
invited talk
information systems
reinforcement learning
concurrent systems
modal logic