-
1
-
-
0032131465
-
Model checking for a probabilistic branching time logic with fairness
-
Baier, C. and Kwiatkowska, M. (1998). Model checking for a probabilistic branching time logic with fairness. Distributed Computing, 11(3): 125-155.
-
(1998)
Distributed Computing
, vol.11
, Issue.3
, pp. 125-155
-
-
Baier, C.1
Kwiatkowska, M.2
-
2
-
-
21844505024
-
Model checking of probabilistic and non-deterministic systems
-
In LNCS 1026
-
Bianco, A. and De Alfaro, L. (1995). Model checking of probabilistic and non-deterministic systems. In Proc. FST & TCS, LNCS 1026, pages 499-513.
-
(1995)
Proc. FST & TCS
, pp. 499-513
-
-
Bianco, A.1
De Alfaro, L.2
-
3
-
-
35248875802
-
Timed control with partial observability
-
In
-
Bouyer, P., D'Souza, D., Madhusudan, P., and Petit, A. (2003). Timed control with partial observability. In Proc. CAV LNCS 2725, pages 180-192.
-
(2003)
Proc. CAV LNCS 2725
, pp. 180-192
-
-
Bouyer, P.1
D'Souza, D.2
Madhusudan, P.3
Petit, A.4
-
4
-
-
33745617997
-
Simple stochastic parity games
-
In
-
Chatterjee, K., Jurdzinski, M., and Henzinger, T. (2003). Simple stochastic parity games. In Proc. CSL LNCS 2803, pages 100-113.
-
(2003)
Proc. CSL LNCS 2803
, pp. 100-113
-
-
Chatterjee, K.1
Jurdzinski, M.2
Henzinger, T.3
-
6
-
-
0026820657
-
The complexity of stochastic games
-
Condon, A. (1992). The complexity of stochastic games. Inf. and Comp., 96:203-224.
-
(1992)
Inf. and Comp.
, vol.96
, pp. 203-224
-
-
Condon, A.1
-
7
-
-
0012348982
-
On algorithms for simple stochastic games
-
Condon, A. (1993). On algorithms for simple stochastic games. DIMACS, 13:51-71.
-
(1993)
DIMACS
, vol.13
, pp. 51-71
-
-
Condon, A.1
-
9
-
-
35248841407
-
The element of surprise in timed games
-
In LNCS 2761
-
de Alfaro, L., Faella, M., Henzinger, T., Majumdar, R., and Stoelinga, M. (2003). The element of surprise in timed games. In Proc. CONCUR, LNCS 2761, pages 144-158.
-
(2003)
Proc. CONCUR
, pp. 144-158
-
-
de Alfaro, L.1
Faella, M.2
Henzinger, T.3
Majumdar, R.4
Stoelinga, M.5
-
10
-
-
0033716150
-
Concurrent omega-regular games
-
In IEEE Computer Society Press
-
de Alfaro, L. and Henzinger, T. (2000). Concurrent omega-regular games. In Proc. LICS, pages 141-154. IEEE Computer Society Press.
-
(2000)
Proc. LICS
, pp. 141-154
-
-
de Alfaro, L.1
Henzinger, T.2
-
11
-
-
0032305853
-
Concurrent reachability games
-
In IEEE Computer Society Press
-
de Alfaro, L., Henzinger, T., and Kupferman, O. (1998). Concurrent reachability games. In Proc. FOCS, pages 564-575. IEEE Computer Society Press.
-
(1998)
Proc. FOCS
, pp. 564-575
-
-
de Alfaro, L.1
Henzinger, T.2
Kupferman, O.3
-
12
-
-
0034826232
-
Quantitative solution of omega-regular games
-
In ACM Press
-
de Alfaro, L. and Majumdar, R. (2001). Quantitative solution of omega-regular games. In Proc. STOC'01, pages 675-683. ACM Press.
-
(2001)
Proc. STOC'01
, pp. 675-683
-
-
de Alfaro, L.1
Majumdar, R.2
-
14
-
-
0026368952
-
Tree automata, mu-calculus and determinacy
-
In IEEE Computer Society Press
-
Emerson, E. and Jutla, C. (1991). Tree automata, mu-calculus and determinacy. In Proc. FOCS, pages 368-377. IEEE Computer Society Press.
-
(1991)
Proc. FOCS
, pp. 368-377
-
-
Emerson, E.1
Jutla, C.2
-
15
-
-
84957813927
-
On model-checking for fragments of mucalculus
-
In Courcoubetis, C., editor, LNCS 697
-
Emerson, E. A., Jutla, C. S., and Sistla, A. P. (1993). On model-checking for fragments of mucalculus. In Courcoubetis, C., editor, Proc. CAV, LNCS 697, pages 385-396.
-
(1993)
Proc. CAV
, pp. 385-396
-
-
Emerson, E.A.1
Jutla, C.S.2
Sistla, A.P.3
-
17
-
-
0003096318
-
A logic for reasoning about time and reliability
-
Hansson, H. and Jonsson, B. (1994). A logic for reasoning about time and reliability. Formal Aspects of Computing, 6:512-535.
-
(1994)
Formal Aspects of Computing
, vol.6
, pp. 512-535
-
-
Hansson, H.1
Jonsson, B.2
-
18
-
-
84944078394
-
Small progress for solving parity games
-
In
-
Jurdzinski, M. (2000). Small progress for solving parity games. In Proc. STACS, volume 1770 of LNCS, pages 290-301.
-
(2000)
Proc. STACS, volume 1770 of LNCS
, pp. 290-301
-
-
Jurdzinski, M.1
-
19
-
-
34848862697
-
Trading probability for fairness
-
In LNCS 2471
-
Jurdzinski, M., Kupferman, O., and Henzinger, T. (2003). Trading probability for fairness. In Proc. CSL, LNCS 2471, pages 292-305.
-
(2003)
Proc. CSL
, pp. 292-305
-
-
Jurdzinski, M.1
Kupferman, O.2
Henzinger, T.3
-
20
-
-
84945290421
-
Probabilistic polynomial-time process calculus and security protocol analysis
-
In
-
Mitchell, J. C. (2001). Probabilistic polynomial-time process calculus and security protocol analysis. In Proc. ESOP LNCS 2028, pages 23-29.
-
(2001)
Proc. ESOP LNCS 2028
, pp. 23-29
-
-
Mitchell, J.C.1
-
21
-
-
0022562228
-
Verification of multiprocess probabilistic protocols
-
Pnueli, A. and Zuck, L. (1986). Verification of multiprocess probabilistic protocols. Distributed Computing, 1:53-72.
-
(1986)
Distributed Computing
, vol.1
, pp. 53-72
-
-
Pnueli, A.1
Zuck, L.2
-
23
-
-
0001282303
-
Automata on infinite objects
-
In van Leeuwen, J., editor, volume B, chapter 4, Elsevier Science Publishers
-
Thomas, W. (1990). Automata on infinite objects. In van Leeuwen, J., editor, Handbook of Theoretical Computer Science, volume B, chapter 4, pages 133-191. Elsevier Science Publishers
-
(1990)
Handbook of Theoretical Computer Science
, pp. 133-191
-
-
Thomas, W.1
-
24
-
-
84937560933
-
Infinite games and verification
-
In
-
Thomas, W. (2003). Infinite games and verification In Poc. CAV LNCS 2725, pages 58-64.
-
(2003)
Poc. CAV LNCS 2725
, pp. 58-64
-
-
Thomas, W.1
-
25
-
-
0022181923
-
Automatic verification of probabilistic concurrent finite-state programs
-
In Portland, Oregon. IEEE
-
Vardi, M. Y. (1985). Automatic verification of probabilistic concurrent finite-state programs. In Proc. FOCS, pages 327-338, Portland, Oregon. IEEE.
-
(1985)
Proc. FOCS
, pp. 327-338
-
-
Vardi, M.Y.1
-
26
-
-
84944395659
-
A discrete strategy improvement algorithm for solving parity games
-
In LNCS 1855
-
Vöge, J. and Jurdzinski, M. (2000). A discrete strategy improvement algorithm for solving parity games. In Proc. CAV, LNCS 1855, pages 202-215.
-
(2000)
Proc. CAV
, pp. 202-215
-
-
Vöge, J.1
Jurdzinski, M.2
|