yeleng123

yeleng123's Stars

• RiccardoDeMasellis/First-order-LTL-monitoring

  Library for automata-based monitoring of first-order LTL formulas with finite domain. The semantics of first-order LTL is on finite execution paths.

  Language:Java12

• RiccardoDeMasellis/FLLOAT

  A library for generating automata from LTL and LDL formulas with finite-trace semantics.

  Language:Java111