-
2
-
-
39549117389
-
Observing branching structure through probabilistic contexts
-
N. Lynch, R. Segala, and F. Vaandrager, "Observing branching structure through probabilistic contexts," SIAM Journal on Computing, vol. 37, no. 4, 2007.
-
(2007)
SIAM Journal on Computing
, vol.37
, Issue.4
-
-
Lynch, N.1
Segala, R.2
Vaandrager, F.3
-
3
-
-
33750156740
-
Switched PIOA: Parallel composition via distributed scheduling
-
L. Cheung, N. Lynch, R. Segala, and F. Vaandrager, "Switched PIOA: Parallel composition via distributed scheduling," TCS, vol. 365, no. 1-2, pp. 83-108, 2006.
-
(2006)
TCS
, vol.365
, Issue.1-2
, pp. 83-108
-
-
Cheung, L.1
Lynch, N.2
Segala, R.3
Vaandrager, F.4
-
4
-
-
84944060609
-
Compositional methods for probabilistic systems
-
ser. LNCS. Springer
-
L. de Alfaro, T. Henzinger, and R. Jhala, "Compositional methods for probabilistic systems," in Proc. CONCUR'01, ser. LNCS, vol. 2154. Springer, 2001.
-
(2001)
Proc. CONCUR'01
, vol.2154
-
-
De Alfaro, L.1
Henzinger, T.2
Jhala, R.3
-
5
-
-
77951556644
-
Assume-guarantee verification for probabilistic systems
-
ser. LNCS
-
M. Kwiatkowska, G. Norman, D. Parker, and H. Qu, "Assume-guarantee verification for probabilistic systems," in Proc. TACAS'10, ser. LNCS, vol. 6105, 2010, pp. 23-37.
-
(2010)
Proc. TACAS'10
, vol.6105
, pp. 23-37
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
Qu, H.4
-
6
-
-
0023453626
-
Learning regular sets from queries and counterexamples
-
D. Angluin, "Learning regular sets from queries and counterexamples," Information and Computation, vol. 75, no. 2, pp. 87-106, 1987.
-
(1987)
Information and Computation
, vol.75
, Issue.2
, pp. 87-106
-
-
Angluin, D.1
-
7
-
-
44349186195
-
Learning to divide and conquer: Applying the L* algorithm to automate assume-guarantee reasoning
-
C. Pasareanu, D. Giannakopoulou, M. Bobaru, J. Cobleigh, and H. Barringer, "Learning to divide and conquer: Applying the L* algorithm to automate assume-guarantee reasoning," FMSD, vol. 32, no. 3, pp. 175-205, 2008.
-
(2008)
FMSD
, vol.32
, Issue.3
, pp. 175-205
-
-
Pasareanu, C.1
Giannakopoulou, D.2
Bobaru, M.3
Cobleigh, J.4
Barringer, H.5
-
8
-
-
0034224327
-
Verification of the randomized consensus algorithm of Aspnes and Herlihy: A case study
-
A. Pogosyants, R. Segala, and N. Lynch, "Verification of the randomized consensus algorithm of Aspnes and Herlihy: A case study," Distributed Computing, vol. 13, no. 4, 2000.
-
(2000)
Distributed Computing
, vol.13
, Issue.4
-
-
Pogosyants, A.1
Segala, R.2
Lynch, N.3
-
9
-
-
85086616921
-
Controller synthesis for probabilistic systems
-
C. Baier, M. Groesser, M. Leucker, B. Bollig, and F. Ciesinski, "Controller synthesis for probabilistic systems," in Proc. IFIP TCS'04, 004, pp. 493-5062.
-
Proc. IFIP TCS'04
, vol.4
, pp. 493-5062
-
-
Baier, C.1
Groesser, M.2
Leucker, M.3
Bollig, B.4
Ciesinski, F.5
-
10
-
-
38349092981
-
On the controller synthesis for finite-state Markov decision processes
-
A. Kucera and O. Strazovský, "On the controller synthesis for finite-state Markov decision processes," Fundam. Inform., vol. 82, no. 1-2, pp. 141-153, 2008.
-
(2008)
Fundam. Inform.
, vol.82
, Issue.1-2
, pp. 141-153
-
-
Kucera, A.1
Strazovský, O.2
-
11
-
-
0001609136
-
Probabilistic simulations for probabilistic processes
-
R. Segala and N. Lynch, "Probabilistic simulations for probabilistic processes," Nordic Journal of Computing, vol. 2, no. 2, pp. 250-273, 1995.
-
(1995)
Nordic Journal of Computing
, vol.2
, Issue.2
, pp. 250-273
-
-
Segala, R.1
Lynch, N.2
-
13
-
-
37149022692
-
Multi-objective model checking of Markov decision processes
-
ser. LNCS. Springer
-
K. Etessami, M. Kwiatkowska, M. Vardi, and M. Yannakakis, "Multi-objective model checking of Markov decision processes," in Proc. TACAS'07, ser. LNCS, vol. 4424. Springer, 2007, pp. 50-65.
-
(2007)
Proc. TACAS'07
, vol.4424
, pp. 50-65
-
-
Etessami, K.1
Kwiatkowska, M.2
Vardi, M.3
Yannakakis, M.4
-
14
-
-
65549136176
-
Counterexample generation in probabilistic model checking
-
T. Han, J.-P. Katoen, and B. Damman, "Counterexample generation in probabilistic model checking," IEEE Transactions on Software Engineering, vol. 35, no. 2, pp. 241-257, 2009.
-
(2009)
IEEE Transactions on Software Engineering
, vol.35
, Issue.2
, pp. 241-257
-
-
Han, T.1
Katoen, J.-P.2
Damman, B.3
-
15
-
-
67650340172
-
Significant diagnostic counterexamples in probabilistic model checking
-
M. Andrés, P. D'Argenio, and P. van Rossum, "Significant diagnostic counterexamples in probabilistic model checking," in Proc. HVC'08, 2008, pp. 129-148.
-
(2008)
Proc. HVC'08
, pp. 129-148
-
-
Andrés, M.1
D'argenio, P.2
Van Rossum, P.3
-
16
-
-
33745802027
-
PRISM: A tool for automatic verification of probabilistic systems
-
ser. LNCS. Springer
-
A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, "PRISM: A tool for automatic verification of probabilistic systems," in Proc. TACAS'06, ser. LNCS, vol. 3920. Springer, 2006, pp. 441-444.
-
(2006)
Proc. TACAS'06
, vol.3920
, pp. 441-444
-
-
Hinton, A.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
17
-
-
84858041169
-
Libalf: The automata learning framework
-
ser. LNCS. Springer, to appear
-
B. Bollig, J.-P. Katoen, C. Kern, M. Leucker, D. Neider, and D. Piegdon, "libalf: The automata learning framework," in Proc. CAV'10, ser. LNCS. Springer, 2010, to appear.
-
(2010)
Proc. CAV'10
-
-
Bollig, B.1
Katoen, J.-P.2
Kern, C.3
Leucker, M.4
Neider, D.5
Piegdon, D.6
|