Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic.

Joshua Schneider Dmitriy Traytel

Published in: Arch. Formal Proofs (2019)

Keyphrases

temporal logic
matching algorithm
model checking
np hard
optimal solution
dynamic programming
reinforcement learning
computational complexity
search space
transition systems