Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

Ritam Raha Rajarshi Roy Nathanaël Fijalkow Daniel Neider Guillermo A. Pérez

Published in: CoRR (2023)

Keyphrases

metric temporal logic
multiscale
data sets
real time
artificial intelligence
decision making
e learning
artificial neural networks