-
1
-
-
0031334956
-
Alternating-time temporal logic
-
IEEE Computer Society Los Alamitos
-
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS), pp. 100-109. IEEE Computer Society, Los Alamitos (1997)
-
(1997)
Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS)
, pp. 100-109
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
-
2
-
-
84949185739
-
-
Springer Berlin
-
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-Time Temporal Logic. Lecture Notes in Computer Science, vol. 1536, pp. 23-60. Springer, Berlin (1998)
-
(1998)
Alternating-Time Temporal Logic Lecture Notes in Computer Science
, vol.1536
, pp. 23-60
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
-
3
-
-
33646178489
-
MOCHA user manual
-
Springer Berlin
-
Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: MOCHA user manual. In: Proceedings of CAV'98. Lecture Notes in Computer Science, vol. 1427, pp. 521-525. Springer, Berlin (1998)
-
(1998)
Proceedings of CAV'98 Lecture Notes in Computer Science
, vol.1427
, pp. 521-525
-
-
Alur, R.1
Henzinger, T.A.2
Mang, F.Y.C.3
Qadeer, S.4
Rajamani, S.K.5
Tasiran, S.6
-
4
-
-
0035006503
-
JMocha: A model-checking tool that exploits design structure
-
IEEE Computer Society Los Alamitos
-
Alur, R., de Alfaro, L., Grossu, R., Henzinger, T.A., Kang, M., Kirsch, C.M., Majumdar, R., Mang, F.Y.C., Wang, B.-Y.: jMocha: a model-checking tool that exploits design structure. In Proceedings of ICSE, pp. 835-836. IEEE Computer Society, Los Alamitos (2001)
-
(2001)
Proceedings of ICSE
, pp. 835-836
-
-
Alur, R.1
De Alfaro, L.2
Grossu, R.3
Henzinger, T.A.4
Kang, M.5
Kirsch, C.M.6
Majumdar, R.7
Mang, F.Y.C.8
Wang, B.-Y.9
-
5
-
-
0042908709
-
Alternating-time temporal logic
-
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672-713 (2002)
-
(2002)
J. ACM
, vol.49
, pp. 672-713
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
-
7
-
-
0031074857
-
Fast planning through graph analysis
-
Blum, A.L., Furst, M.L.: Fast planning through graph analysis. Artif. Intell. 90, 281-300 (1997)
-
(1997)
Artif. Intell.
, vol.90
, pp. 281-300
-
-
Blum, A.L.1
Furst, M.L.2
-
8
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
2
-
Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244-263 (1986)
-
(1986)
ACM Trans. Program. Lang. Syst.
, vol.8
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
9
-
-
84885233707
-
The control of synchronous systems
-
Springer Berlin
-
de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: The control of synchronous systems. In: Proceedings of CONCUR 2000. Lecture Notes in Computer Science, vol. 1877, pp. 458-473. Springer, Berlin (2000)
-
(2000)
Proceedings of CONCUR 2000 Lecture Notes in Computer Science
, vol.1877
, pp. 458-473
-
-
De Alfaro, L.1
Henzinger, T.A.2
Mang, F.Y.C.3
-
10
-
-
84944075063
-
The control of synchronous systems, part II
-
Springer Berlin
-
de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: The control of synchronous systems, part II. In: Proceedings of CONCUR 2001. Lecture Notes in Computer Science, vol. 2154, pp. 566-580. Springer, Berlin (2001)
-
(2001)
Proceedings of CONCUR 2001 Lecture Notes in Computer Science
, vol.2154
, pp. 566-580
-
-
De Alfaro, L.1
Henzinger, T.A.2
Mang, F.Y.C.3
-
14
-
-
0022012464
-
Decision procedures and expressiveness in the temporal logic of branching time
-
1
-
Emerson, E.A., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. J. Comput. Syst. Sci. 30(1), 1-24 (1985)
-
(1985)
J. Comput. Syst. Sci.
, vol.30
, pp. 1-24
-
-
Emerson, E.A.1
Halpern, J.Y.2
-
15
-
-
0041906662
-
Coalition games and alternating temporal logics
-
Morgan Kaufmann San Mateo
-
Goranko, V.: Coalition games and alternating temporal logics. In: van Benthem, J. (ed.) Proceedings of TARK VIII, pp. 259-272. Morgan Kaufmann, San Mateo (2001)
-
(2001)
Proceedings of TARK VIII
, pp. 259-272
-
-
Goranko, V.1
Van Benthem, J.2
-
16
-
-
21144453887
-
Comparing semantics of logics for multi-agent systems
-
2
-
Goranko, V., Jamroga, W.: Comparing semantics of logics for multi-agent systems. Synthese 139(2), 241-280 (2004)
-
(2004)
Synthese
, vol.139
, pp. 241-280
-
-
Goranko, V.1
Jamroga, W.2
-
17
-
-
21144442850
-
Some remarks on alternating temporal epistemic logic
-
B. Dunin-Keplicz, R. Verbrugge, (eds.)
-
Jamroga, W.: Some remarks on alternating temporal epistemic logic. In: B. Dunin-Keplicz, R. Verbrugge, (eds.) In: Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003), pp. 133-140 (2003)
-
(2003)
Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003)
, pp. 133-140
-
-
Jamroga, W.1
-
20
-
-
33646158928
-
Do agents make model checking explode (computationally)?
-
Springer Berlin
-
Jamroga, W., Dix, J.: Do agents make model checking explode (computationally)? In: Petta, P., Varga, L.Z. (eds.) Proceedings of CEEMAS 2005. Lecture Notes in Computer Science, vol. 3690, pp. 398-407. Springer, Berlin (2005)
-
(2005)
Proceedings of CEEMAS 2005 Lecture Notes in Computer Science
, vol.3690
, pp. 398-407
-
-
Jamroga, W.1
Dix, J.2
Petta, P.3
Varga, L.Z.4
-
21
-
-
33646181781
-
Model checking strategic abilities of agents under incomplete information
-
Springer Berlin
-
Jamroga, W., Dix, J.: Model checking strategic abilities of agents under incomplete information. In: Coppo, M., Lodi, E., Pinna, G.M. (eds.) Proceedings of ICTCS 2005, Lecture Notes in Computer Science, vol. 3701, pp. 295-308. Springer, Berlin (2005)
-
(2005)
Proceedings of ICTCS 2005 Lecture Notes in Computer Science
, vol.3701
, pp. 295-308
-
-
Jamroga, W.1
Dix, J.2
Coppo, M.3
Lodi, E.4
Pinna, G.M.5
-
22
-
-
38949188411
-
Turning game models turn-based for model checking properties of agents
-
Verbeeck, K., Tuyls, K., Nowé, A., Manderick, B., Kuijpers, B. (eds.)
-
Jamroga, W., Dix, J.: Turning game models turn-based for model checking properties of agents. In: Verbeeck, K., Tuyls, K., Nowé, A., Manderick, B., Kuijpers, B. (eds.) Proceedings of BNAIC, pp. 143-150 (2005)
-
(2005)
Proceedings of BNAIC
, pp. 143-150
-
-
Jamroga, W.1
Dix, J.2
-
23
-
-
4544284829
-
Agents that know how to play
-
2-3
-
Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundam. Inform. 63(2-3), 185-219 (2004)
-
(2004)
Fundam. Inform.
, vol.63
, pp. 185-219
-
-
Jamroga, W.1
Van Der Hoek, W.2
-
25
-
-
4544292967
-
Unbounded model checking for alternating-time temporal logic
-
Kacprzak, M., Penczek, W.: Unbounded model checking for alternating-time temporal logic. In: Proceedings of AAMAS-04 (2004)
-
(2004)
Proceedings of AAMAS-04
-
-
Kacprzak, M.1
Penczek, W.2
-
26
-
-
0001667648
-
An automata-theoretic approach to branching-time model checking
-
2
-
Kupferman, O., Vardi, M.Y., Wolper, P.: An automata-theoretic approach to branching-time model checking. J. ACM 47(2), 312-360 (2000)
-
(2000)
J. ACM
, vol.47
, pp. 312-360
-
-
Kupferman, O.1
Vardi, M.Y.2
Wolper, P.3
-
27
-
-
0029323608
-
About the expressive power of CTL combinators
-
6
-
Laroussinie, F.: About the expressive power of CTL combinators. Inf. Process. Lett. 54(6), 343-345 (1995)
-
(1995)
Inf. Process. Lett.
, vol.54
, pp. 343-345
-
-
Laroussinie, F.1
-
28
-
-
77951489393
-
Model checking CTL+ and FCTL is hard
-
Springer Berlin
-
Laroussinie, F., Markey, N., Schnoebelen, Ph.: Model checking CTL+ and FCTL is hard. In: Proceedings of FoSSaCS'01. Lecture Notes in Computer Science, vol. 2030, pp. 318-331. Springer, Berlin (2001)
-
(2001)
Proceedings of FoSSaCS'01 Lecture Notes in Computer Science
, vol.2030
, pp. 318-331
-
-
Laroussinie, F.1
Markey, N.2
Schnoebelen, Ph.3
-
29
-
-
33750327567
-
-
Technical Report LSV-06-03, CNRS & ENS Cachan, France
-
Laroussinie, F., Markey, N., Oreiby, G.: Expressiveness and complexity of ATL. Technical Report LSV-06-03, CNRS & ENS Cachan, France (2006)
-
(2006)
Expressiveness and Complexity of ATL
-
-
Laroussinie, F.1
Markey, N.2
Oreiby, G.3
-
33
-
-
0009356196
-
Knowledge and the frame problem
-
Morgenstern, L.: Knowledge and the frame problem. Int. J. Expert Syst. 3(4) (1991)
-
(1991)
Int. J. Expert Syst.
, vol.3
, Issue.4
-
-
Morgenstern, L.1
-
35
-
-
0003253788
-
Quantifiers and propositional attitudes
-
Quine, W.: Quantifiers and propositional attitudes. J. Philos. 53, 177-187 (1956)
-
(1956)
J. Philos.
, vol.53
, pp. 177-187
-
-
Quine, W.1
-
37
-
-
38949154270
-
Formal comment on W. Jamroga's paper
-
van der Hoek, W.: Formal comment on W. Jamroga's paper. Presented at FAMAS'03 (2003)
-
(2003)
FAMAS'03
-
-
Van Der Hoek, W.1
-
38
-
-
0036355444
-
Tractable multiagent planning for epistemic goals
-
ACM Press New York
-
van der Hoek, W., Wooldridge, M.: Tractable multiagent planning for epistemic goals. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02), pp. 1167-1174. ACM Press, New York (2002)
-
(2002)
Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02)
, pp. 1167-1174
-
-
Van Der Hoek, W.1
Wooldridge, M.2
Castelfranchi, C.3
Johnson, W.L.4
-
39
-
-
4544383448
-
Cooperation, knowledge and time: Alternating-time temporal epistemic logic and its applications
-
1
-
van der Hoek, W., Wooldridge, M.: Cooperation, knowledge and time: alternating-time temporal epistemic logic and its applications. Stud. Log. 75(1), 125-157 (2003)
-
(2003)
Stud. Log.
, vol.75
, pp. 125-157
-
-
Van Der Hoek, W.1
Wooldridge, M.2
-
40
-
-
34247255515
-
On the complexity of practical ATL model checking
-
Stone, P., Weiss, G. (eds.)
-
van der Hoek, W., Lomuscio, A., Wooldridge, M.: On the complexity of practical ATL model checking. In: Stone, P., Weiss, G. (eds.) Proceedings of AAMAS'06, pp. 201-208 (2006)
-
(2006)
Proceedings of AAMAS'06
, pp. 201-208
-
-
Van Der Hoek, W.1
Lomuscio, A.2
Wooldridge, M.3
|