Andrea Turrini

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 46

Top Topics

Probabilistic Automata

Markov Decision Process

Top Venues

Publications

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
Measurement-Based Verification of Quantum Markov Chains. CAV (3) (2024)
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). CoRR (2023)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
Scenario Approach for Parametric Markov Models. ATVA (1) (2023)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report). CoRR (2023)
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
Modular Mix-and-Match Complementation of Büchi Automata. TACAS (1) (2023)
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292 (2023)
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38 (5) (2023)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A symbolic algorithm for the case-split rule in solving word constraints with extensions. J. Syst. Softw. 201 (2023)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
Scenario Approach for Parametric Markov Models. CoRR (2023)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. CoRR (2022)
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
EPMC Gets Knowledge in Multi-agent Systems. VMCAI (2022)
Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
Synthesizing ranking functions for loop programs via SVM. Theor. Comput. Sci. 935 (2022)
Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang
Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE Trans. Software Eng. 48 (5) (2022)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. CAV (2) (2022)
Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Congruence Relations for Büchi Automata. FM (2021)
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the Power of Finite Ambiguity in Büchi Complementation. CoRR (2021)
Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Synthesizing Good-Enough Strategies for LTLf Specifications. IJCAI (2021)
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li
Modelling and Implementation of Unmanned Aircraft Collision Avoidance. SETTA (2020)
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling. CoRR (2020)
Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
SVMRanker: a general termination analysis framework of loop programs via SVM. ESEC/SIGSOFT FSE (2020)
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. ATVA (2020)
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. APLAS (2020)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) (2020)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
Model Checking Applied to Quantum Physics. CoRR (2019)
Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang
Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM (2019)
Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
ROLL 1.0: \omega -Regular Language Learning Library. TACAS (1) (2019)
Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
Advanced automata-based algorithms for program termination checking. PLDI (2018)
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI (2018)
Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. 262 (2018)
Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang
Learning Büchi Automata and Its Applications. SETSS (2018)
Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
Learning to Complement Büchi Automata. VMCAI (2018)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. VMCAI (2017)
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying
Model Checking Omega-regular Properties for Quantum Markov Chains . CONCUR (2017)
Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. SETTA (2017)
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
JANI: Quantitative Model and Tool Interaction. TACAS (2) (2017)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR (2017)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST (2017)
Vahid Hashemi, Holger Hermanns, Andrea Turrini
Compositional Reasoning for Interval Markov Decision Processes. CoRR (2016)
Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28 (1) (2016)
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. QEST (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. SETTA (2016)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. CoRR (2016)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) (2016)
Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr J. Wojciechowski
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA (2016)
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang
Lazy Probabilistic Model Checking without Determinisation. CONCUR (2015)
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA (2015)
Andrea Turrini, Holger Hermanns
Polynomial time decision algorithms for probabilistic automata. Inf. Comput. 244 (2015)
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
QPMC: A Model Checker for Quantum Programs and Protocols. FM (2015)
Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang
Preference Planning for Markov Decision Processes. AAAI (2015)
Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang
iscasMc: A Web-Based Probabilistic Model Checker. FM (2014)
Andrea Turrini, Holger Hermanns
Cost Preserving Bisimulations for Probabilistic Automata. Log. Methods Comput. Sci. 10 (4) (2014)
Holger Hermanns, Andrea Turrini
Cost Preserving Bisimulations for Probabilistic Automata. CONCUR (2013)
Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang
Deciding Bisimilarities on Distributions. QEST (2013)
Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
The Quest for Minimal Quotients for Probabilistic Automata. TACAS (2013)
Vahid Hashemi, Holger Hermanns, Andrea Turrini
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Daniel Gebler, Vahid Hashemi, Andrea Turrini
Computing Behavioral Relations for Probabilistic Concurrent Systems. ROCKS (2012)
Holger Hermanns, Andrea Turrini
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. FSTTCS (2012)
Holger Hermanns, Andrea Turrini
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time CoRR (2012)
Roberto Segala, Andrea Turrini
Conditional Automata: A Tool for Safe Removal of Negligible Events. CONCUR (2010)
Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. J. Appl. Non Class. Logics 19 (4) (2009)
Roberto Segala, Andrea Turrini
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. CSF (2007)
Roberto Segala, Andrea Turrini
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. QEST (2005)