-
2
-
-
33745460936
-
Counterexamples for timed probabilistic reachability
-
DOI 10.1007/11603009-15, Formal Modeling and Analysis of Timed Systems - Third International Conference, FORMATS 2005, Proceedings
-
[AHL05] Aljazzar, H., Hermanns, H., Leue, S.: Counterexamples for timed probabilistic reachability. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.3829, pp. 177-195. Springer, Heidelberg (2005) (Pubitemid 43952395)
-
(2005)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.3829
, pp. 177-195
-
-
Aljazzar, H.1
Hermanns, H.2
Leue, S.3
-
3
-
-
33750372336
-
Extended directed search for probabilistic timed reachability
-
Formal Modeling and Analysis of Timed Systems - 4th International Conference, FORMATS 2006, Proceedings
-
[AL06] Aljazzar, H., Leue, S.: Extended directed search for probabilistic timed reachability. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.4202, pp. 33-51. Springer, Heidelberg (2006) (Pubitemid 44617522)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4202
, pp. 33-51
-
-
Aljazzar, H.1
Leue, S.2
-
4
-
-
67650295442
-
Counterexamples for model checking of markov decision processes
-
[AL07], University of Konstanz, December
-
[AL07] Aljazzar, H., Leue, S.: Counterexamples for model checking of markov decision processes. Computer Science Technical Report soft-08-101, University of Konstanz (December 2007)
-
(2007)
Computer Science Technical Report soft-08-01
-
-
Aljazzar, H.1
Leue, S.2
-
6
-
-
21844505024
-
Model Checking of Probabilistic and Nondeterministic Systems
-
Foundations of Software Technology and Theoretical Computer Science
-
[BdA95] Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Goos, G., Hartmanis, J., van Leeuwen, J. (eds.) Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1995), vol. 1026, pp. 499-513 (1995) (Pubitemid 126012732)
-
(1995)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1026
, pp. 499-513
-
-
Bianco, A.1
De Alfaro, L.2
-
7
-
-
0001700171
-
A Markovian decision process
-
[Bel57] Bellman, R.E.: A Markovian decision process. J. Math. Mech. 6, 679-684 (1957)
-
(1957)
J. Math. Mech.
, Issue.6
, pp. 679-684
-
-
Bellman, R.E.1
-
8
-
-
33646184816
-
Optimal scheduling using priced timed automata
-
[BLR05]
-
[BLR05] Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Optimal scheduling using priced timed automata. SIGMETRICS Perform. Eval. Rev. 32(4), 34-40 (2005)
-
(2005)
SIGMETRICS Perform. Eval. Rev.
, vol.32
, Issue.4
, pp. 34-40
-
-
Behrmann, G.1
Larsen, K.G.2
Rasmussen, J.I.3
-
10
-
-
84944406286
-
Counterexampleguided abstraction refinement
-
[CGJ+00]
-
[CGJ+00] Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexampleguided abstraction refinement. In: Computer Aided Verification, pp. 154-169 (2000)
-
(2000)
Computer Aided Verification
, pp. 154-169
-
-
Clarke, E.M.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
12
-
-
0032108018
-
Finding the k shortest paths
-
[Epp98]
-
[Epp98] Eppstein, D.: Finding the k shortest paths. SIAM Journal of Computing, 652-673 (1998)
-
(1998)
SIAM Journal of Computing
, pp. 652-673
-
-
Eppstein, D.1
-
14
-
-
37249003986
-
Counterexamples in probabilistic model checking
-
Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007
-
[HK07a] Han, T., Katoen, J.-P.: Counterexamples in probabilistic model checking. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.4424, pp. 72-86. Springer, Heidelberg (2007) (Pubitemid 350262647)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4424
, pp. 72-86
-
-
Han, T.1
Katoen, J.-P.2
-
15
-
-
38149103404
-
Providing evidence of likely being on time- counterexample generation for ctmc model checking
-
[HK07b], In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.), LNCS, Springer, Heidelberg
-
[HK07b] Han, T., Katoen, J.-P.: Providing evidence of likely being on time- counterexample generation for ctmc model checking. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.4762, pp. 331-346. Springer, Heidelberg (2007)
-
(2007)
ATVA 2007
, vol.4762
, pp. 331-346
-
-
Han, T.1
Katoen, J.-P.2
-
18
-
-
21144435765
-
Probabilistic Automata: System Types, Parallel Composition and Comparison
-
Validation of Stochastic Systems
-
[SdV04] Sokolova, A., de Vink, E.P.: Probabilistic automata: System types, parallel composition and comparison. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.2925, pp. 1-43. Springer, Heidelberg (2004) (Pubitemid 39224333)
-
(2004)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.2925
, pp. 1-43
-
-
Sokolova, A.1
De Vink, E.P.2
-
19
-
-
0001609136
-
Probabilistic simulations for probabilistic processes
-
[SL95]
-
[SL95] Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. Nordic Journal of Computing 2(2), 250-273 (1995)
-
(1995)
Nordic Journal of Computing 2
, Issue.2
, pp. 250-273
-
-
Segala, R.1
Lynch, N.2
|