Edit Profile (opens in new tab) Turrini, Andrea Co-Author Distance Author ID: turrini.andrea Published as: Turrini, Andrea Documents Indexed: 27 Publications since 2009 Co-Authors: 33 Co-Authors with 27 Joint Publications 1,092 Co-Co-Authors all top 5 Co-Authors 0 single-authored 13 Zhang, Lijun 12 Hermanns, Holger 8 Hahn, Ernst Moritz 7 Li, Yong 6 Hashemi, Vahid 4 Schewe, Sven 3 Eisentraut, Christian 3 Vardi, Moshe Ya’akov 2 Feng, Weizhi 2 Schuster, Johann Christoph 2 Segala, Roberto 2 Sun, Xuechao 1 Braun, Christelle 1 Chen, Yu-Fang 1 Elbassioni, Khaled M. 1 Feng, Yuan 1 Ferrer Fioriti, Luis María 1 Gebler, Daniel E. 1 Havlena, Vojtěch 1 Krämer, Julia 1 Kramer, Simon 1 Lahijanian, Morteza 1 Lengál, Ondřej 1 Li, Guangyuan 1 Li, Xie 1 Li, Yi 1 Liu, Wanwei 1 Palamidessi, Catuscia 1 Song, Lei 1 Subramani, Krishnan 1 Tsay, Yih-Kuen 1 Wojciechowski, Piotr J. 1 Ying, Shenggang Serials 3 Information and Computation 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Journal of Applied Non-Classical Logics 1 Logical Methods in Computer Science all top 5 Fields 27 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 71 times in 48 Documents Cited by ▼ Year ▼ Lazy probabilistic model checking without determinisation. Zbl 1374.68290 Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 13 2015 Polynomial time decision algorithms for probabilistic automata. Zbl 1329.68168 Turrini, Andrea; Hermanns, Holger 8 2015 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 Deciding probabilistic automata weak bisimulation in polynomial time. Zbl 1354.68157 Hermanns, Holger; Turrini, Andrea 5 2012 Multi-objective robust strategy synthesis for interval Markov decision processes. Zbl 1421.90160 Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Lahijanian, Morteza; Turrini, Andrea 4 2017 Cost preserving bisimulations for probabilistic automata. Zbl 1390.68473 Hermanns, Holger; Turrini, Andrea 3 2013 Model checking \(\omega\)-regular properties for quantum Markov chains. Zbl 1442.68106 Feng, Yuan; Hahn, Ernst Moritz; Turrini, Andrea; Ying, Shenggang 3 2017 Congruence relations for Büchi automata. Zbl 1521.68074 Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun 3 2021 Exploiting robust optimization for interval probabilistic bisimulation. Zbl 1377.68132 Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea 2 2016 A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 2 2016 Polynomial-time alternating probabilistic bisimulation for interval MDPs. Zbl 1498.68187 Hashemi, Vahid; Turrini, Andrea; Hahn, Ernst Moritz; Hermanns, Holger; Elbassioni, Khaled 2 2017 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 Deciding probabilistic automata weak bisimulation: theory and practice. Zbl 1335.68117 Ferrer Fioriti, Luis María; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea 2 2016 Compositional bisimulation minimization for interval Markov decision processes. Zbl 1435.68197 Hashemi, Vahid; Hermanns, Holger; Song, Lei; Subramani, K.; Turrini, Andrea; Wojciechowski, Piotr 2 2016 A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Zbl 1186.68325 Kramer, Simon; Palamidessi, Catuscia; Segala, Roberto; Turrini, Andrea; Braun, Christelle 2 2009 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 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 Computing behavioral relations for probabilistic concurrent systems. Zbl 1426.68183 Gebler, Daniel; Hashemi, Vahid; Turrini, Andrea 1 2014 Cost preserving bisimulations for probabilistic automata. Zbl 1448.68353 Turrini, Andrea; Hermanns, Holger 1 2014 A symbolic algorithm for the case-split rule in string constraint solving. Zbl 1476.68312 Chen, Yu-Fang; Havlena, Vojtěch; Lengál, Ondřej; Turrini, Andrea 1 2020 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 Congruence relations for Büchi automata. Zbl 1521.68074 Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun 3 2021 A symbolic algorithm for the case-split rule in string constraint solving. Zbl 1476.68312 Chen, Yu-Fang; Havlena, Vojtěch; Lengál, Ondřej; Turrini, Andrea 1 2020 Multi-objective robust strategy synthesis for interval Markov decision processes. Zbl 1421.90160 Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Lahijanian, Morteza; Turrini, Andrea 4 2017 Model checking \(\omega\)-regular properties for quantum Markov chains. Zbl 1442.68106 Feng, Yuan; Hahn, Ernst Moritz; Turrini, Andrea; Ying, Shenggang 3 2017 Polynomial-time alternating probabilistic bisimulation for interval MDPs. Zbl 1498.68187 Hashemi, Vahid; Turrini, Andrea; Hahn, Ernst Moritz; Hermanns, Holger; Elbassioni, Khaled 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 Exploiting robust optimization for interval probabilistic bisimulation. Zbl 1377.68132 Hahn, Ernst Moritz; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea 2 2016 A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 2 2016 Deciding probabilistic automata weak bisimulation: theory and practice. Zbl 1335.68117 Ferrer Fioriti, Luis María; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea 2 2016 Compositional bisimulation minimization for interval Markov decision processes. Zbl 1435.68197 Hashemi, Vahid; Hermanns, Holger; Song, Lei; Subramani, K.; Turrini, Andrea; Wojciechowski, Piotr 2 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 Polynomial time decision algorithms for probabilistic automata. Zbl 1329.68168 Turrini, Andrea; Hermanns, Holger 8 2015 Computing behavioral relations for probabilistic concurrent systems. Zbl 1426.68183 Gebler, Daniel; Hashemi, Vahid; Turrini, Andrea 1 2014 Cost preserving bisimulations for probabilistic automata. Zbl 1448.68353 Turrini, Andrea; Hermanns, Holger 1 2014 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 Cost preserving bisimulations for probabilistic automata. Zbl 1390.68473 Hermanns, Holger; Turrini, Andrea 3 2013 Deciding probabilistic automata weak bisimulation in polynomial time. Zbl 1354.68157 Hermanns, Holger; Turrini, Andrea 5 2012 A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Zbl 1186.68325 Kramer, Simon; Palamidessi, Catuscia; Segala, Roberto; Turrini, Andrea; Braun, Christelle 2 2009 all cited Publications top 5 cited Publications all top 5 Cited by 111 Authors 7 Turrini, Andrea 7 Zhang, Lijun 5 Hermanns, Holger 5 Schewe, Sven 4 Hahn, Ernst Moritz 4 Li, Yong 4 Vardi, Moshe Ya’akov 3 Baier, Christel 3 Deng, Yuxin 3 Eisentraut, Christian 3 Jansen, David N. 3 Müller, David I. 3 Perez, Mateo 3 Somenzi, Fabio 3 Trivedi, Ashutosh 3 Wojtczak, Dominik 3 Xu, Ming 2 Blahoudek, František 2 Feng, Weizhi 2 Fu, Jianling 2 Gebler, Daniel E. 2 Godskesen, Jens Chr. 2 Groote, Jan Friso 2 Hashemi, Vahid 2 Jantsch, Simon 2 Klein, Joachim 2 Mei, Jingyi 2 Schuster, Johann Christoph 2 Song, Lei 2 Yang, Pengfei 1 Abate, Alessandro 1 Adámek, Jiří 1 Ahner, Darryl K. 1 Badings, Thom S. 1 Bonchi, Filippo 1 Cao, Yongzhi 1 Cardelli, Luca 1 Castiglioni, Valentina 1 Chen, Weien 1 Chen, Yixiang 1 Chen, Yu-Fang 1 Chocholatý, David 1 Datta, Pratish 1 de Vink, Erik P. 1 Dehnert, Christian 1 Doveri, Kyveli 1 Du, Wenjie 1 Duret-Lutz, Alexandre 1 Dutta, Ratna 1 Feng, Yuan 1 Ferrer Fioriti, Luis María 1 Fischer, Nick 1 Fogarty, Seth J. 1 Frew, Eric W. 1 Ganty, Pierre 1 Garavel, Hubert 1 Grosu, Radu 1 Hartmanns, Arnd 1 Havlena, Vojtěch 1 He, Kangli 1 Holík, Lukáš 1 Huang, Chengchao 1 Jansen, Nils 1 John, Tobias 1 Joye, Marc 1 Junges, Sebastian 1 Katoen, Joost-Pieter 1 Keith, Andrew J. 1 Kini, Dileep Raghunath 1 Klüppelholz, Sascha 1 Lahijanian, Morteza 1 Lang, Frédéric 1 Larsen, Kim Guldstrand 1 Laurenti, Luca 1 Lengál, Ondřej 1 Macià Soler, Hermenegilda 1 Mazzocchi, Nicolas 1 Milius, Stefan 1 Moss, Lawrence S. 1 Mukhopadhyay, Sourav 1 Poonawala, Hasan A. 1 Qin, Xudong 1 Quatmann, Tim 1 Rivera Verduzco, Jao 1 Romao, Licio 1 Sharma, Arpit 1 Síč, Juraj 1 Sickert, Salomon 1 Siegle, Markus 1 Silva, Alexandra 1 Sokolova, Ana 1 Stoelinga, Mariëlle 1 Strejček, Jan 1 Tarasyuk, Igor’ Valer’evich 1 Timmers, Ferry 1 Tini, Simone 1 Tribastone, Mirco 1 Tsay, Yih-Kuen 1 Tschaikowski, Max 1 Valero Ruiz, Valentín ...and 11 more Authors all top 5 Cited in 15 Serials 5 Information and Computation 3 Theoretical Computer Science 2 Acta Informatica 1 Information Processing Letters 1 Information Sciences 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Annals of Operations Research 1 Formal Methods in System Design 1 The Journal of Artificial Intelligence Research (JAIR) 1 Mathematical Problems in Engineering 1 Soft Computing 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Algorithms 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 9 Fields 42 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 5 Operations research, mathematical programming (90-XX) 3 Probability theory and stochastic processes (60-XX) 3 Information and communication theory, circuits (94-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 1 Category theory; homological algebra (18-XX) Citations by Year