19 search results - page 1 / 4 » Sabotage! |
CSL
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
IWINAC
2007
Springer
14 years 5 months ago
2007
Springer
One of the main characteristics of a video surveillance system is its reliability. To this end, it is needed that the images captured by the videocameras are an accurate representa...
COMPUTER
2010
13 years 8 months ago
2010
We analyze the incentives of a vertically-integrated producer (VIP) to engage in "self-sabotage". Self-sabotage occurs when a VIP intentionally increases its upstream co...
FSEN
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. 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...
LORI
2009
Springer
14 years 5 months ago
2009
Springer
