We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over graphs is considered, where a “Runner” starts from a vertex u and seeks to reach some vertex in a target set F while, after each move, the adversary “Blocker” deletes one edge. Extending work by Löding and Rohde (who showed PSpace...

Physical security system, which is also called physical protection very crucial in the nuclear industry for protecting staff, visitors, buildings, assets, and materials against theft, sabotage, harmful activities. Theft of has a major impact on essence safeguards. Sabotage facility could endanger public at large. Reviewing published literature, it found that there are no complete system designs...

We consider the sabotage modal logic SML which was suggested by van Benthem. SML is the modal logic equipped with a ‘transition-deleting’ modality and hence a modal logic over changing models. It was shown that the problem of uniform model checking for this logic is PSPACE-complete. In this paper we show that, on the other hand, the formula complexity and the program complexity are linear, resp...

Emotional intelligence helps to predict and control the changing behaviour of employees. Our study focuses on customer service sector employees, organizational citizenship behaviour, sabotage. The also explained effect emotional OCB with mediation role labour. In addition, moderation EI between dissonance time horizon was longitudinal descriptive; geographical area included Gujranwala, Lahore, ...