×
Author ID: zhang.lijun Recent zbMATH articles by "Zhang, Lijun"
Published as: Zhang, Lijun
Further Spellings: 张立军
External Links: ORCID
all top 5

Co-Authors

1 single-authored
19 Hermanns, Holger
13 Turrini, Andrea
12 Jansen, David N.
11 Li, Yong
8 Hahn, Ernst Moritz
8 Schewe, Sven
8 Vardi, Moshe Ya’akov
7 Eisentraut, Christian
7 Pu, Geguang
6 Song, Lei
5 Godskesen, Jens Chr.
5 Li, Jianwen
5 Liu, Depeng
5 Wang, Bow-Yaw
5 Zhan, Naijun
4 Feng, Yuan
4 He, Jifeng
4 Wachter, Björn
4 Yang, Pengfei
3 Chen, Yu-Fang
3 Huang, Chengchao
3 Nielson, Flemming
3 Xu, Ming
2 Eisenbrand, Friedrich
2 Fearnley, John
2 Feng, Weizhi
2 Finkbeiner, Bernd
2 Fu, Chen
2 Gao, Yang
2 Katoen, Joost-Pieter
2 Li, Renjue
2 Pang, Jun
2 Rabe, Markus N.
2 Schuster, Johann Christoph
2 Sun, Xuechao
2 Vojnar, Tomáš
2 Wang, Shuling
2 Xue, Bai
2 Zhu, Shufang
1 Cai, Shaowei
1 Chen, Liqian
1 Cheng, James
1 Crouzen, Pepijn
1 Cui, Bing
1 Dai, Ting
1 Deng, Yuxin
1 Duan, Kaiqiang
1 Feng, Yijun
1 Fränzle, Martin
1 Fu, Jianling
1 Gao, Xiaowei
1 He, Fei
1 Hong, Chih-Duo
1 Jiao, Licheng
1 Kiefer, Stefan
1 Krämer, Julia
1 Larsen, Kim Guldstrand
1 Li, Guangyuan
1 Li, Xie
1 Li, Yi
1 Li, Yongjian
1 Liu, Hongying
1 Liu, Jiangchao
1 Liu, Wanwei
1 Lü, Wanli
1 Lv, Jidong
1 Lv, Yi
1 Mei, Jingyi
1 Murawski, Andrzej S.
1 Neuhäußer, Martin R.
1 Ouaknine, Joel O.
1 Parma, Augusto
1 Peng, Yu
1 Ratschan, Stefan
1 Ren, Dejin
1 Sack, Joshua
1 Segala, Roberto
1 Shang, Fanhua
1 She, Zhikun
1 Shen, Ganghui
1 Sun, Bing
1 Sun, Jun
1 Tao, Dacheng
1 Tsang, Ivor Wai-Hung
1 Tsay, Yih-Kuen
1 Wang, Jingyi
1 Wang, Zheng
1 Wolovick, Nicolás
1 Worrell, James B.
1 Xia, Bican
1 Xia, Yuanqing
1 Yang, Zongyuan
1 Zhang, Jinhui
1 Zhou, Kaiwen
1 Zhu, Huibiao

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 276 times in 181 Documents Cited by Year
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
24
2011
Probabilistic CEGAR. Zbl 1155.68438
Hermanns, Holger; Wachter, Björn; Zhang, Lijun
18
2008
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
17
2011
Concurrency and composition in a stochastic world. Zbl 1287.68132
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun
15
2010
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
13
2015
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
13
2013
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
Model checking interactive Markov chains. Zbl 1284.68420
Zhang, Lijun; Neuhäußer, Martin R.
8
2010
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
8
2017
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
8
2012
A general framework for probabilistic characterizing formulae. Zbl 1326.68176
Sack, Joshua; Zhang, Lijun
7
2012
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
7
2013
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
6
2007
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
6
2013
Deciding simulations on probabilistic automata. Zbl 1141.68443
Zhang, Lijun; Hermanns, Holger
5
2007
Efficient CSL model checking using stratification. Zbl 1348.68152
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
5
2012
Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
5
2009
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133
He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun
5
2015
Finding polynomial loop invariants for probabilistic programs. Zbl 1495.68042
Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican
5
2017
Best probabilistic transformers. Zbl 1273.68244
Wachter, Björn; Zhang, Lijun
4
2010
A space-efficient probabilistic simulation algorithm. Zbl 1160.68432
Zhang, Lijun
4
2008
Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun
4
2013
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2011
Automata-based CSL model checking. Zbl 1334.68135
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
3
2011
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
3
2015
Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143
Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan
3
2016
Distribution-based bisimulation for labelled Markov processes. Zbl 1494.68184
Yang, Pengfei; Jansen, David N.; Zhang, Lijun
3
2017
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
2016
Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2014
On the minimisation of acyclic models. Zbl 1160.68462
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun
3
2008
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
3
2021
Congruence relations for Büchi automata. Zbl 1521.68074
Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun
3
2021
Improving neural network verification through spurious region guided refinement. Zbl 1467.68096
Yang, Pengfei; Li, Renjue; Li, Jianlin; Huang, Cheng-Chao; Wang, Jingyi; Sun, Jun; Xue, Bai; Zhang, Lijun
3
2021
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
2
2014
Logic and model checking for hidden Markov models. Zbl 1169.68524
Zhang, Lijun; Hermanns, Holger; Jansen, David N.
2
2005
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
2
2014
A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220
Wang, Shuling; Zhan, Naijun; Zhang, Lijun
2
2017
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
2
2015
A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
2
2016
Finite-time cooperative attitude control for leader-follower spacecraft with fixed-time observer. Zbl 1525.93404
Zhang, Lijun; Xia, Yuanqing; Cui, Bing; Zhang, Jinhui; Shen, Ganghui
2
2020
Model checking differentially private properties. Zbl 1519.68137
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
2
2018
Divide-and-conquer determinization of Büchi automata based on SCC decomposition. Zbl 1514.68108
Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun
2
2022
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
An automatic proving approach to parameterized verification. Zbl 1407.68295
Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei
2
2018
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296
Feng, Yuan; Zhang, Lijun
1
2014
Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun
1
2015
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
A space-efficient simulation algorithm on probabilistic automata. Zbl 1345.68219
Zhang, Lijun; Jansen, David N.
1
2016
On the power of unambiguity in Büchi complementation. Zbl 07455748
Li, Yong; Vardi, Moshe Y.; Zhang, Lijun
1
2020
On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim
1
2013
An efficient synthesis algorithm for parametric Markov chains against linear time properties. Zbl 1393.68107
Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun
1
2016
Probabilistic verification of neural networks against group fairness. Zbl 1521.68159
Sun, Bing; Sun, Jun; Dai, Ting; Zhang, Lijun
1
2021
Enhancing robustness verification for deep neural networks via symbolic propagation. Zbl 1519.68228
Yang, Pengfei; Li, Jianlin; Liu, Jiangchao; Huang, Cheng-Chao; Li, Renjue; Chen, Liqian; Huang, Xiaowei; Zhang, Lijun
1
2021
A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428
Feng, Yuan; Zhang, Lijun
1
2013
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
1
2022
Divide-and-conquer determinization of Büchi automata based on SCC decomposition. Zbl 1514.68108
Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun
2
2022
Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
1
2022
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
3
2021
Congruence relations for Büchi automata. Zbl 1521.68074
Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun
3
2021
Improving neural network verification through spurious region guided refinement. Zbl 1467.68096
Yang, Pengfei; Li, Renjue; Li, Jianlin; Huang, Cheng-Chao; Wang, Jingyi; Sun, Jun; Xue, Bai; Zhang, Lijun
3
2021
Probabilistic verification of neural networks against group fairness. Zbl 1521.68159
Sun, Bing; Sun, Jun; Dai, Ting; Zhang, Lijun
1
2021
Enhancing robustness verification for deep neural networks via symbolic propagation. Zbl 1519.68228
Yang, Pengfei; Li, Jianlin; Liu, Jiangchao; Huang, Cheng-Chao; Li, Renjue; Chen, Liqian; Huang, Xiaowei; Zhang, Lijun
1
2021
Finite-time cooperative attitude control for leader-follower spacecraft with fixed-time observer. Zbl 1525.93404
Zhang, Lijun; Xia, Yuanqing; Cui, Bing; Zhang, Jinhui; Shen, Ganghui
2
2020
On the power of unambiguity in Büchi complementation. Zbl 07455748
Li, Yong; Vardi, Moshe Y.; Zhang, Lijun
1
2020
Model checking differentially private properties. Zbl 1519.68137
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
2
2018
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
An automatic proving approach to parameterized verification. Zbl 1407.68295
Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei
2
2018
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
8
2017
Finding polynomial loop invariants for probabilistic programs. Zbl 1495.68042
Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican
5
2017
Distribution-based bisimulation for labelled Markov processes. Zbl 1494.68184
Yang, Pengfei; Jansen, David N.; Zhang, Lijun
3
2017
A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220
Wang, Shuling; Zhan, Naijun; Zhang, Lijun
2
2017
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143
Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan
3
2016
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
2016
A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
2
2016
A space-efficient simulation algorithm on probabilistic automata. Zbl 1345.68219
Zhang, Lijun; Jansen, David N.
1
2016
An efficient synthesis algorithm for parametric Markov chains against linear time properties. Zbl 1393.68107
Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun
1
2016
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
13
2015
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133
He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun
5
2015
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
3
2015
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
2
2015
Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun
1
2015
Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2014
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
2
2014
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
2
2014
A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296
Feng, Yuan; Zhang, Lijun
1
2014
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
13
2013
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
7
2013
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
6
2013
Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun
4
2013
On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim
1
2013
A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428
Feng, Yuan; Zhang, Lijun
1
2013
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
8
2012
A general framework for probabilistic characterizing formulae. Zbl 1326.68176
Sack, Joshua; Zhang, Lijun
7
2012
Efficient CSL model checking using stratification. Zbl 1348.68152
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
5
2012
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
24
2011
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
17
2011
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2011
Automata-based CSL model checking. Zbl 1334.68135
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
3
2011
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
Concurrency and composition in a stochastic world. Zbl 1287.68132
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun
15
2010
Model checking interactive Markov chains. Zbl 1284.68420
Zhang, Lijun; Neuhäußer, Martin R.
8
2010
Best probabilistic transformers. Zbl 1273.68244
Wachter, Björn; Zhang, Lijun
4
2010
Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
5
2009
Probabilistic CEGAR. Zbl 1155.68438
Hermanns, Holger; Wachter, Björn; Zhang, Lijun
18
2008
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
A space-efficient probabilistic simulation algorithm. Zbl 1160.68432
Zhang, Lijun
4
2008
On the minimisation of acyclic models. Zbl 1160.68462
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun
3
2008
Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
6
2007
Deciding simulations on probabilistic automata. Zbl 1141.68443
Zhang, Lijun; Hermanns, Holger
5
2007
Logic and model checking for hidden Markov models. Zbl 1169.68524
Zhang, Lijun; Hermanns, Holger; Jansen, David N.
2
2005
all top 5

Cited by 313 Authors

30 Zhang, Lijun
15 Katoen, Joost-Pieter
14 Hermanns, Holger
11 Baier, Christel
8 Turrini, Andrea
7 Deng, Yuxin
7 Hahn, Ernst Moritz
7 Li, Yong
7 Schewe, Sven
7 Vardi, Moshe Ya’akov
6 Bernardo, Marco
6 Kwiatkowska, Marta Z.
5 Feng, Yuan
5 Jansen, David N.
5 Loreti, Michele
4 Crafa, Silvia
4 De Nicola, Rocco
4 Eisentraut, Christian
4 Gebler, Daniel E.
4 Junges, Sebastian
4 Liu, Depeng
4 Ranzato, Francesco
4 Silva, Alexandra
4 Sokolova, Ana
4 Stoelinga, Mariëlle
4 Tini, Simone
4 Xu, Ming
4 Zhan, Naijun
3 Bartocci, Ezio
3 Becker, Bernd
3 Bonchi, Filippo
3 Castiglioni, Valentina
3 Chen, Taolue
3 D’Argenio, Pedro Rubén
3 Dubslaff, Clemens
3 Godskesen, Jens Chr.
3 Jansen, Nils
3 Jantsch, Simon
3 Kiefer, Stefan
3 Klein, Joachim
3 Klüppelholz, Sascha
3 Kovács, Laura Ildikó
3 Larsen, Kim Guldstrand
3 Lochbihler, Andreas
3 Müller, David I.
3 Perez, Mateo
3 Somenzi, Fabio
3 Song, Lei
3 Stankovič, Miroslav
3 Trivedi, Ashutosh
3 Wimmer, Ralf D.
3 Wojtczak, Dominik
3 Worrell, James B.
2 Abate, Alessandro
2 Ábrahám, Erika
2 An, Jie
2 Angluin, Dana
2 Bruni, Roberto
2 Buchholz, Peter
2 Cao, Yongzhi
2 Chen, Guangke
2 Chen, Mingshuai
2 Chen, Yu-Fang
2 Cimatti, Alessandro
2 Dehnert, Christian
2 Feng, Weizhi
2 Ferrer Fioriti, Luis María
2 Fisman, Dana
2 Forejt, Vojtěch
2 Griggio, Alberto
2 Grosu, Radu
2 Guck, Dennis
2 Hashemi, Vahid
2 Hatefi, Hassan
2 Hennessy, Matthew C. B.
2 Huang, Chengchao
2 Klink, Daniel
2 Lanotte, Ruggero
2 Li, Jianwen
2 Malik, Avinash
2 Mazzocchi, Nicolas
2 Melgratti, Hernán
2 Milazzo, Paolo
2 Montanari, Ugo G.
2 Murawski, Andrzej S.
2 Norman, Gethin
2 Ouaknine, Joel O.
2 Pu, Geguang
2 Quatmann, Tim
2 Rabe, Markus N.
2 Redondi, Gianluca
2 Schuster, Johann Christoph
2 Song, Fu
2 Sproston, Jeremy
2 Tarasyuk, Igor’ Valer’evich
2 Timmer, Mark
2 Tsay, Yih-Kuen
2 van de Pol, Jan Cornelis
2 Viswanathan, Mahesh
2 Wang, Bow-Yaw
...and 213 more Authors

Citations by Year