ACARP: Auto correct activity recognition rules using process analysis toolkit (PAT)

• Main Authors: Lee, V.Y., Liu, Y., Zhang, X., Phua, C., Sim, K., Zhu, J., Biswas, J., Dong, J.S., Mokhtari, M.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2013
• Subjects: Model Checking; Rules Auto-correction; Rules Verification
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/40067
• Institution: National University of Singapore

10.1007/978-3-642-30779-9_23