Login / Signup

Detection of Declarative Process Constraints in LTL Formulas.

Nicolai SchützenmeierMartin KäppelSebastian PetterStefan SchönigStefan Jablonski
Published in: EOMAS@CAiSE (2019)
Keyphrases
  • object detection
  • anomaly detection
  • model checking
  • temporal logic
  • detection algorithm
  • false positives
  • constrained optimization