-
1
-
-
0002651837
-
An overview of evolutionary algorithms for parameter optimization
-
Bäck, T. & Schwefel H.-P. (1993). An overview of evolutionary algorithms for parameter optimization. Evolutionary Computation, 1(1).
-
(1993)
Evolutionary Computation
, vol.1
, Issue.1
-
-
Bäck, T.1
Schwefel, H.-P.2
-
2
-
-
84955605382
-
Efficient local model checking for fragments of the modal mu-calculus
-
Bhat, G. & Cleaveland, R. (1986). Efficient local model checking for fragments of the modal mu-calculus. Lecture Notes in Computer Science, 1055.
-
(1986)
Lecture Notes in Computer Science
, pp. 1055
-
-
Bhat, G.1
Cleaveland, R.2
-
3
-
-
84955583416
-
On a decision method in restricted second-order arithmetic Methodology and Philosophy of Science
-
Büchi, J. (1962). On a decision method in restricted second-order arithmetic Methodology and Philosophy of Science, Proc. Stanford Int’l Congress.
-
(1962)
Proc. Stanford Int’l Congress
-
-
Büchi, J.1
-
4
-
-
84955610157
-
Liveness and fairness properties in multi-agent systems
-
Burkhard, H. (1993). Liveness and fairness properties in multi-agent systems. IJCAI’93.
-
(1993)
IJCAI’93
-
-
Burkhard, H.1
-
5
-
-
0005455788
-
Formal methods: State of the art and future directions
-
Clarke, E. & Wing, J. (1997). Formal methods: State of the art and future directions. Computing Surveys.
-
(1997)
Computing Surveys
-
-
Clarke, E.1
Wing, J.2
-
6
-
-
0001107626
-
Memoryefficient algorithms for the verification of temporal properties
-
Courcoubetis, C., Vardi, M., Wolper, M., & Yannakakis, M. (1992). Memoryefficient algorithms for the verification of temporal properties. Formal Methods in Systems Design, 1.
-
(1992)
Formal Methods in Systems Design
, pp. 1
-
-
Courcoubetis, C.1
Vardi, M.2
Wolper, M.3
Yannakakis, M.4
-
7
-
-
0000963981
-
On the relationship between duration of an encounter and the evolution of cooperation in the iteratedPrisoner’s Dilemma
-
Fogel, D. (1996). On the relationship between duration of an encounter and the evolution of cooperation in the iteratedPrisoner’s Dilemma. Evolutionary Computation, 3(3).
-
(1996)
Evolutionary Computation
, vol.3
, Issue.3
-
-
Fogel, D.1
-
10
-
-
84955564205
-
Well-behaved Borgs, Bolos, and Berserkers
-
Gordon, D. (1998). Well-behaved Borgs, Bolos, and Berserkers. ICML’98.
-
(1998)
ICML’98
-
-
Gordon, D.1
-
11
-
-
0002125465
-
Synchronizing multiagent plans using temporal logic specifications
-
Kabanza, F. (1995). Synchronizing multiagent plans using temporal logic specifications. ICMAS’95.
-
(1995)
ICMAS’95
-
-
Kabanza, F.1
-
12
-
-
84955615719
-
Adaptive supervisory control of multi-agent systems
-
Kiriakos, K. & Gordon, D. (2000). Adaptive supervisory control of multi-agent systems. FAABS’00.
-
(2000)
FAABS’00
-
-
Kiriakos, K.1
Gordon, D.2
-
13
-
-
84955593894
-
On explicit plan languages for coordinating multiagent plan execution
-
Lee, J. & Durfee, E. (1997). On explicit plan languages for coordinating multiagent plan execution. ATAL’97.
-
(1997)
ATAL’97
-
-
Lee, J.1
Durfee, E.2
-
15
-
-
0029244437
-
Social laws for artificial agent societies: Off-line design
-
Shoham, Y. & Tennenholtz, M. (1992). Social laws for artificial agent societies: Off-line design. Artificial Intelligence, 73.
-
(1992)
Artificial Intelligence
, pp. 73
-
-
Shoham, Y.1
Tennenholtz, M.2
-
16
-
-
0347978866
-
Incremental model checking in the modal mucalculus
-
Sokolsky, O. & Smolka, S. (1994). Incremental model checking in the modal mucalculus. CAV’94.
-
(1994)
CAV’94
-
-
Sokolsky, O.1
Smolka, S.2
-
17
-
-
84856233522
-
Evolving finite-state machine strategies for protecting resources
-
Spears, W. & Gordon, D. (2000). Evolving finite-state machine strategies for protecting resources. ISMIS’00.
-
(2000)
ISMIS’00
-
-
Spears, W.1
Gordon, D.2
-
18
-
-
84955594185
-
Using artificial physics to control agents
-
Spears, W. & Gordon, D. (1999). Using artificial physics to control agents. ICIIS’99.
-
(1999)
ICIIS’99
-
-
Spears, W.1
Gordon, D.2
|