GitHub repository: simoneclr/First-order-LTL-monitoring
Primary language: Java
Description: Library for automata-based monitoring of first-order LTL formulas with finite domain. The semantics of first-order LTL is on finite execution paths.