• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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