-
1
-
-
85030145067
-
Realizable and unrealizable specifications of reactive systems
-
Ausiello, G, Dezani-Ciancaglini, M, Ronchi Della Rocca, S, eds, ICALP 1989, Springer, Heidelberg
-
Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable specifications of reactive systems. In: Ausiello, G., Dezani-Ciancaglini, M., Ronchi Della Rocca, S. (eds.) ICALP 1989. LNCS, vol. 372, pp. 1-17. Springer, Heidelberg (1989)
-
(1989)
LNCS
, vol.372
, pp. 1-17
-
-
Abadi, M.1
Lamport, L.2
Wolper, P.3
-
2
-
-
70350237989
-
-
Acacia (2009), http://www.antichains.be
-
(2009)
-
-
Acacia1
-
3
-
-
84945914804
-
Alternating refinement relations
-
Sangiorgi, D, de Simone, R, eds, CONCUR 1998, Springer, Heidelberg
-
Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 163-178. Springer, Heidelberg (1998)
-
(1998)
LNCS
, vol.1466
, pp. 163-178
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
Vardi, M.Y.4
-
4
-
-
50249095153
-
-
Bouajjani, A., Habermehl, P., Holík, L., Touili, T., Vojnar, T.: Antichain-based universality and inclusion testing over nondeterministic finite tree automata. In: CIAA, pp. 57-67 (2008)
-
Bouajjani, A., Habermehl, P., Holík, L., Touili, T., Vojnar, T.: Antichain-based universality and inclusion testing over nondeterministic finite tree automata. In: CIAA, pp. 57-67 (2008)
-
-
-
-
5
-
-
33749821460
-
-
De Wulf, M., Doyen, L., Henzinger, T.A., Raskin, J.-F.: Antichains: A new algorithm for checking universality of finite automata. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, 4144, pp. 17-30. Springer, Heidelberg (2006)
-
De Wulf, M., Doyen, L., Henzinger, T.A., Raskin, J.-F.: Antichains: A new algorithm for checking universality of finite automata. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 17-30. Springer, Heidelberg (2006)
-
-
-
-
6
-
-
37149004079
-
Improved algorithms for the automata-based approach to model-checking
-
Grumberg, O, Huth, M, eds, TACAS 2007, Springer, Heidelberg
-
Doyen, L., Raskin, J.-F.: Improved algorithms for the automata-based approach to model-checking. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 451-465. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4424
, pp. 451-465
-
-
Doyen, L.1
Raskin, J.-F.2
-
7
-
-
70350233035
-
Buechi complementation and size-change termination
-
Kowalewski, S, Philippou, A, eds, TACAS 2009, Springer, Heidelberg
-
Fogarty, S., Vardi, M.: Buechi complementation and size-change termination. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 16-30. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5505
, pp. 16-30
-
-
Fogarty, S.1
Vardi, M.2
-
8
-
-
33746370359
-
Automata, Logics, and Infinite Games
-
Grädel, E, Thomas, W, Wilke, T, eds, Springer, Heidelberg
-
Grädel, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games. LNCS, vol. 2500. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2500
-
-
-
9
-
-
34547394959
-
Optimizations for LTL synthesis. In: FMCAD
-
Los Alamitos
-
Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: FMCAD, pp. 117-124. IEEE Computer Society, Los Alamitos (2006)
-
(2006)
IEEE Computer Society
, pp. 117-124
-
-
Jobstmann, B.1
Bloem, R.2
-
11
-
-
0001434559
-
Borel determinacy
-
Martin, D.: Borel determinacy. Annals of Mathematics 102, 363-371 (1975)
-
(1975)
Annals of Mathematics
, vol.102
, pp. 363-371
-
-
Martin, D.1
-
12
-
-
67649333975
-
From nondeterministic büchi and streett automata to deterministic parity automata. Logical Methods in Computer
-
Piterman, N.: From nondeterministic büchi and streett automata to deterministic parity automata. Logical Methods in Computer Science 3(3) (2007)
-
(2007)
Science
, vol.3
, Issue.3
-
-
Piterman, N.1
-
14
-
-
84995335523
-
Algorithms for omega-regular games with imperfect information. Logical Methods in Computer
-
Raskin, J.-F., Chatterjee, K., Doyen, L., Henzinger, T.A.: Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science 3(3) (2007)
-
(2007)
Science
, vol.3
, Issue.3
-
-
Raskin, J.-F.1
Chatterjee, K.2
Doyen, L.3
Henzinger, T.A.4
-
16
-
-
35048863867
-
Advanced SPIN Tutorial
-
Graf, S, Mounier, L, eds, SPIN, Springer, Heidelberg
-
Ruys, T.C., Holzmann, G.J.: Advanced SPIN Tutorial. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 304-305. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2989
, pp. 304-305
-
-
Ruys, T.C.1
Holzmann, G.J.2
-
18
-
-
0024140259
-
On the complexity of Ω automata
-
Safra, S.: On the complexity of Ω automata. In: FOCS, pp. 319-327 (1988)
-
(1988)
FOCS
, pp. 319-327
-
-
Safra, S.1
-
19
-
-
84944388557
-
-
Somenzi, F., Bloem, R.: Efficient büchi automata from LTL formulae. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, 1855. Springer, Heidelberg (2000)
-
Somenzi, F., Bloem, R.: Efficient büchi automata from LTL formulae. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855. Springer, Heidelberg (2000)
-
-
-
-
20
-
-
49949096554
-
-
Thomas, W.: Church's problem and a tour through automata theory. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, 4800, pp. 635-655. Springer, Heidelberg (2008)
-
Thomas, W.: Church's problem and a tour through automata theory. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 635-655. Springer, Heidelberg (2008)
-
-
-
-
21
-
-
47249090539
-
Antichains: Alternative algorithms for LTL satisfiability and model-checking
-
Ramakrishnan, C.R, Rehof, J, eds, TACAS 2008, Springer, Heidelberg
-
De Wulf, M., Doyen, L., Maquet, N., Raskin, J.-F.: Antichains: Alternative algorithms for LTL satisfiability and model-checking. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 63-77. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4963
, pp. 63-77
-
-
De Wulf, M.1
Doyen, L.2
Maquet, N.3
Raskin, J.-F.4
|