Andrea Turrini

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