-
1
-
-
28344445515
-
Probmela: A modeling language for communicating probabilistic systems
-
BCG04
-
[BCG04] C. Baier, F. Ciesinski, and M. Größer. Probmela: a modeling language for communicating probabilistic systems. In Proceeding MEMOCODE, 2004.
-
(2004)
Proceeding MEMOCODE
-
-
Baier, C.1
Ciesinski, F.2
Größer, M.3
-
2
-
-
56649114057
-
Reduction techniques for model checking Markov decision processes
-
BCGK08, Technical report
-
[BCGK08] C. Baier, F. Ciesinski, M. Groesser, and J. Klein. Reduction techniques for model checking Markov decision processes. In Technical report http://www.inf.tudresden.de/content/institutes/thi/algi/publikationen/texte/ Qest08-with.appendix.pdf, 2008.
-
(2008)
-
-
Baier, C.1
Ciesinski, F.2
Groesser, M.3
Klein, J.4
-
3
-
-
21844505024
-
Model checking of probabilistic and nondeterministic systems
-
BdA95, Proc. Foundations of Software Technology and Theoretical Computer Science FST & TCS, of
-
[BdA95] A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. In Proc. Foundations of Software Technology and Theoretical Computer Science (FST & TCS), volume 1026 of Lecture Notes in Computer Science, pages 499-513, 1995.
-
(1995)
Lecture Notes in Computer Science
, vol.1026
, pp. 499-513
-
-
Bianco, A.1
de Alfaro, L.2
-
4
-
-
56649101847
-
-
Ber08, project. org/web/packages/lpSolve
-
[Ber08] Michel Berkelaar. The lpsolve package. http://cran.r-project. org/web/packages/lpSolve, 2008.
-
(2008)
The lpsolve package
-
-
Berkelaar, M.1
-
5
-
-
16244382037
-
-
[BGC04] C. Baier, M. Größer, and F. Ciesinski. Partial order reduction for probabilistic systems. In QEST 2004 [QES04], pages 230-239.
-
[BGC04] C. Baier, M. Größer, and F. Ciesinski. Partial order reduction for probabilistic systems. In QEST 2004 [QES04], pages 230-239.
-
-
-
-
6
-
-
0032131465
-
Model checking for a probabilistic branching time logic with fairness
-
BK98
-
[BK98] C. Baier and M. Kwiatkowska. Model checking for a probabilistic branching time logic with fairness. Distributed Computing, 11:125-155, 1998.
-
(1998)
Distributed Computing
, vol.11
, pp. 125-155
-
-
Baier, C.1
Kwiatkowska, M.2
-
7
-
-
38149134931
-
LiQuor: A tool for qualitative and quantitative linear time analysis of reactive systems
-
CB07, IEEE CS Press
-
[CB07] F. Ciesinski and C. Baier. LiQuor: a tool for qualitative and quantitative linear time analysis of reactive systems. In Proc. QEST, pages 131-132. IEEE CS Press, 2007.
-
(2007)
Proc. QEST
, pp. 131-132
-
-
Ciesinski, F.1
Baier, C.2
-
9
-
-
1542602086
-
Markov decision processes and regular events (extended abstract)
-
CY90, Proc. 17th on International Colloquium Automata, Languages and Programming ICALP, of
-
[CY90] C. Courcoubetis and M. Yannakakis. Markov decision processes and regular events (extended abstract). In Proc. 17th on International Colloquium Automata, Languages and Programming (ICALP), volume 443 of Lecture Notes in Computer Science, pages 336-349, 1990.
-
(1990)
Lecture Notes in Computer Science
, vol.443
, pp. 336-349
-
-
Courcoubetis, C.1
Yannakakis, M.2
-
10
-
-
84976740260
-
The complexity of probabilistic verification
-
CY95
-
[CY95] C. Courcoubetis and M. Yannakakis. The complexity of probabilistic verification. Journal of the ACM, 42(4):857-907, 1995.
-
(1995)
Journal of the ACM
, vol.42
, Issue.4
, pp. 857-907
-
-
Courcoubetis, C.1
Yannakakis, M.2
-
12
-
-
84949652800
-
Temporal logics for the specification of performance and reliability
-
dA97b, Proc. STACS, of
-
[dA97b] L. de Alfaro. Temporal logics for the specification of performance and reliability. In Proc. STACS, volume 1200 of Lecture Notes in Computer Science, pages 165-179, 1997.
-
(1997)
Lecture Notes in Computer Science
, vol.1200
, pp. 165-179
-
-
de Alfaro, L.1
-
13
-
-
56649101844
-
Faster Dynamic Programming for Markov Decision Processes
-
DG06
-
[DG06] P. Dai and J. Goldsmith. Faster Dynamic Programming for Markov Decision Processes. In Proc. ICAPS, 2006.
-
(2006)
Proc. ICAPS
-
-
Dai, P.1
Goldsmith, J.2
-
14
-
-
84880882345
-
Topological value iteration algorithm for markov decision processes
-
DG07
-
[DG07] P. Dai and J. Goldsmith. Topological value iteration algorithm for markov decision processes. In Proc. IJCAI, pages 1860-1865, 2007.
-
(2007)
Proc. IJCAI
, pp. 1860-1865
-
-
Dai, P.1
Goldsmith, J.2
-
15
-
-
58349090229
-
Prioritizing Bellman backups without a priority queue
-
DH07, AAAI Press
-
[DH07] P. Dai and E. Hansen. Prioritizing Bellman backups without a priority queue. In Proc. ICAPS. AAAI Press, 2007.
-
(2007)
Proc. ICAPS
-
-
Dai, P.1
Hansen, E.2
-
16
-
-
84957809842
-
Reachability analysis of probabilistic systems by successive refinements
-
DJJL01, L. de Alfaro and S. Gilmore, editors, Proceedings of Process Algebra and Probabilistic Methods. Performance Modeling and Verification. Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, of, Springer
-
[DJJL01] P.R. D'Argenio, B. Jeannet, H.E. Jensen, and K.G. Larsen. Reachability analysis of probabilistic systems by successive refinements. In L. de Alfaro and S. Gilmore, editors, Proceedings of Process Algebra and Probabilistic Methods. Performance Modeling and Verification. Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, volume 2165 of Lecture Notes in Computer Science, pages 29-56. Springer, 2001.
-
(2001)
Lecture Notes in Computer Science
, vol.2165
, pp. 29-56
-
-
D'Argenio, P.R.1
Jeannet, B.2
Jensen, H.E.3
Larsen, K.G.4
-
17
-
-
84943267387
-
Reduction and refinement strategies for probabilistic analysis
-
DJJL02, Proc. PAPM-PROBMIV, of
-
[DJJL02] P. D'Argenio, B. Jeannet, H. Jensen, and K. Larsen. Reduction and refinement strategies for probabilistic analysis. In Proc. PAPM-PROBMIV, volume 2399 of LNCS, pages 335-372, 2002.
-
(2002)
LNCS
, vol.2399
, pp. 335-372
-
-
D'Argenio, P.1
Jeannet, B.2
Jensen, H.3
Larsen, K.4
-
18
-
-
16244419032
-
-
[DN04] P.R. D'Argenio and P. Niebert. Partial order reduction on concurrent probabilistic programs. In QEST 2004 [QES04], pages 240-249.
-
[DN04] P.R. D'Argenio and P. Niebert. Partial order reduction on concurrent probabilistic programs. In QEST 2004 [QES04], pages 240-249.
-
-
-
-
21
-
-
0000863166
-
An improvement in formal verification
-
HP94, Berne, Switzerland, October, Chapman & Hall
-
[HP94] G. Holzmann and D. Peled. An improvement in formal verification. In Proc. Formal Description Techniques, FORTE94, pages 197-211, Berne, Switzerland, October 1994. Chapman & Hall.
-
(1994)
Proc. Formal Description Techniques, FORTE94
, pp. 197-211
-
-
Holzmann, G.1
Peled, D.2
-
22
-
-
33749250027
-
Experiments with deterministic omega-automata for formulas of linear temporal logic
-
KB06
-
[KB06] J. Klein and C. Baier. Experiments with deterministic omega-automata for formulas of linear temporal logic. Theoretical Computer Science, 363(2):182-195, 2006.
-
(2006)
Theoretical Computer Science
, vol.363
, Issue.2
, pp. 182-195
-
-
Klein, J.1
Baier, C.2
-
23
-
-
38149094435
-
On-the-fly stuttering in the construction of deterministic omega-automata
-
KB07, Proceedings CIAA'07, of
-
[KB07] J. Klein and C. Baier. On-the-fly stuttering in the construction of deterministic omega-automata. In Proceedings CIAA'07, volume 4783 of Lecture Notes in Computer Science, pages 51-61, 2007.
-
(2007)
Lecture Notes in Computer Science
, vol.4783
, pp. 51-61
-
-
Klein, J.1
Baier, C.2
-
24
-
-
58849164515
-
-
+98] R. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenign. Static partial order reduction. In Proc. Tools and Algorithms for Construction and Analysis of Systems (TACAS), 1384 of Lecture Notes in Computer Science, pages 345-357, 1998.
-
+98] R. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenign. Static partial order reduction. In Proc. Tools and Algorithms for Construction and Analysis of Systems (TACAS), volume 1384 of Lecture Notes in Computer Science, pages 345-357, 1998.
-
-
-
-
25
-
-
84896694223
-
Probabilistic symbolic model checking with prism: A hybrid approach
-
KNP04
-
[KNP04] M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with prism: A hybrid approach. International Journal on Software Tools for Technology Transfer (STTT), 6(2):128-142, 2004.
-
(2004)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.6
, Issue.2
, pp. 128-142
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
26
-
-
56649084762
-
Symmetry reduction in prism (prototype implementation)
-
KPN08
-
[KPN08] Marta Kwiatkowska, Dave Parker, and Gethin Norman. Symmetry reduction in prism (prototype implementation). http://www.prismmodelchecker. org/symm/, 2008.
-
(2008)
-
-
Kwiatkowska, M.1
Parker, D.2
Norman, G.3
-
27
-
-
37149024894
-
Bisimulation minimisation mostly speeds up probabilistic model checking
-
KTZJ07, Proc. TACAS, of
-
[KTZJ07] J.P. Katoen, Kemna T, I. Zapreev, and D. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking. In Proc. TACAS, volume 4424 of LNCS, pages 87-101, 2007.
-
(2007)
LNCS
, vol.4424
, pp. 87-101
-
-
Katoen, J.P.1
Kemna, T.2
Zapreev, I.3
Jansen, D.4
-
29
-
-
0027684215
-
Prioritized sweeping: Reinforcement learning with less data and less real time
-
MA93
-
[MA93] A. Moore and C. Atkeson. Prioritized sweeping: Reinforcement learning with less data and less real time. Machine Learning, 13:103-130, 1993.
-
(1993)
Machine Learning
, vol.13
, pp. 103-130
-
-
Moore, A.1
Atkeson, C.2
-
30
-
-
85010991128
-
All from one, one for all: On model checking using representatives
-
Pel93, Proc. 5th International Computer Aided Verification Conference CAV, of
-
[Pel93] D. Peled. All from one, one for all: On model checking using representatives. In Proc. 5th International Computer Aided Verification Conference (CAV), volume 697 of Lecture Notes in Computer Science, pages 409-423, 1993.
-
(1993)
Lecture Notes in Computer Science
, vol.697
, pp. 409-423
-
-
Peled, D.1
-
31
-
-
56649095508
-
-
[Pel96] D. Peled. Partial order reduction: Linear and branching time logics and process algebras. In [PPH97], pages 79-88, 1996.
-
[Pel96] D. Peled. Partial order reduction: Linear and branching time logics and process algebras. In [PPH97], pages 79-88, 1996.
-
-
-
-
32
-
-
0001667917
-
Partial Order Methods in Verification
-
PPH97] D. Peled, V. Pratt, and G. Holzmann, editors, 10 of, American Mathematical Society, American Mathematical Society
-
[PPH97] D. Peled, V. Pratt, and G. Holzmann, editors. Partial Order Methods in Verification, volume 29(10) of DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, American Mathematical Society, 1997.
-
(1997)
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
, vol.29
-
-
-
35
-
-
0024140259
-
On the complexity of omega-automata
-
Saf88, Los Alamitos, California, October, IEEE Computer Society Press
-
[Saf88] Shmuel Safra. On the complexity of omega-automata. In Proceedings of the 29th Annual Symposium on Foundations of Computer Science, FoCS'88, pages 319-327, Los Alamitos, California, October 1988. IEEE Computer Society Press.
-
(1988)
Proceedings of the 29th Annual Symposium on Foundations of Computer Science, FoCS'88
, pp. 319-327
-
-
Safra, S.1
|