640 search results - page 61 / 128 » Discovering State Invariants |
ECAL
2005
Springer
15 years 5 months ago
2005
Springer
We study a population of individuals playing the prisoner’s dilemma game. Individual strategies are invariable but the network of relationships between players is allowed to chan...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
47
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Pursuit strategies (formulated using constantspeed particle models) provide a means for achieving cohesive behavior in systems of multiple mobile agents. In the present...
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
We propose a general method for estimating the distance between a compact subspace K of the space L1 ([0, 1]s ) of Lebesgue measurable functions defined on the hypercube [0, 1]s ,...
108
click to vote
STACS
2001
Springer
15 years 4 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...