Vision Algorithms: Behaviour Recognition
Vandalism scenario description:
Scenario(vandalism_against_ticket_machine,
Characters((p : Person), (eq : Equipment, Name = “Ticket_Machine”))
Constraints((exist ((event s1: p move_close_to eq) (state s2: p stay_at eq)
(event s3: p move_away_from eq)
(event s4: p move_close_to eq) (state s5: p stay_at eq))
(s1 before s2) (s2 before s3)
(s3 before s4) (s4 before s5))))
Production((sc : Scenario)
((Name of sc := "vandalism_against_ticket_machine")
(StartTime of sc := StartTime of s1)
(EndTime of sc := EndTime of s5))))