1 code implementation • 24 Jun 2023 • Noel Brindise, Cedric Langbort
Our novel framework, which we define on Linear Temporal Logic (LTL) rules, assigns an intuitive status to any rule in order to describe the trajectory progress at individual time steps; here, a rule is classified as active, satisfied, inactive, or violated.