Andrea Turrini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
14
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | VMCAI | SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation. | Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang |
| 2025 | SETTA | Efficient Decomposition Identification of Deterministic Finite Automata from Examples. | Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang |
| 2024 | CAV | Measurement-Based Verification of Quantum Markov Chains. | Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying |
| 2023 | ATVA | Scenario Approach for Parametric Markov Models. | Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang |
| 2023 | TACAS | Modular Mix-and-Match Complementation of Bchi Automata. | Vojtech Havlena, Ondrej Lengl, Yong Li, Barbora Smahlkov, Andrea Turrini |
| 2022 | CAV | Divide-and-Conquer Determinization of Bchi Automata Based on SCC Decomposition. | Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang |
| 2022 | VMCAI | EPMC Gets Knowledge in Multi-agent Systems. | Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang |
| 2021 | FM | Congruence Relations for Bchi Automata. | Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang |
| 2021 | IJCAI | Synthesizing Good-Enough Strategies for LTLf Specifications. | Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang |
| 2020 | APLAS | A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. | Yu-Fang Chen, Vojtech Havlena, Ondrej Lengl, Andrea Turrini |
| 2020 | ATVA | Proving Non-inclusion of Bchi Automata Based on Monte Carlo Sampling. | Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang |
| 2020 | ISoLA | On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. | Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretnsk, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang |
| 2020 | SETTA | Modelling and Implementation of Unmanned Aircraft Collision Avoidance. | Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li |
| 2019 | ICFEM | Synthesizing Nested Ranking Functions for Loop Programs via SVM. | Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang |
| 2019 | TACAS | ROLL 1.0: \omega -Regular Language Learning Library. | Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu |
| 2018 | IJCAI | Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. | Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang |
| 2018 | PLDI | Advanced automata-based algorithms for program termination checking. | Yu-Fang Chen, Matthias Heizmann, Ondrej Lengl, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang |
| 2018 | VMCAI | Learning to Complement Bchi Automata. | Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe |
| 2017 | CONCUR | Model Checking Omega-regular Properties for Quantum Markov Chains . | Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying |
| 2017 | SETTA | Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. | Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni |
| 2017 | TACAS | JANI: Quantitative Model and Tool Interaction. | Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini |
| 2017 | VMCAI | Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2016 | CAV | A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2016 | LATA | Compositional Bisimulation Minimization for Interval Markov Decision Processes. | Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski |
| 2016 | SETTA | An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. | Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang |
| 2015 | AAAI | Preference Planning for Markov Decision Processes. | Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang |
| 2015 | CONCUR | Lazy Probabilistic Model Checking without Determinisation. | Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2015 | FM | QPMC: A Model Checker for Quantum Programs and Protocols. | Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang |
| 2015 | SETTA | A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. | Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Marille Stoelinga, Andrea Turrini, Lijun Zhang |
| 2014 | FM | iscasMc: A Web-Based Probabilistic Model Checker. | Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2013 | CONCUR | Cost Preserving Bisimulations for Probabilistic Automata. | Holger Hermanns, Andrea Turrini |
| 2013 | TACAS | The Quest for Minimal Quotients for Probabilistic Automata. | Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang |
| 2010 | CONCUR | Conditional Automata: A Tool for Safe Removal of Negligible Events. | Roberto Segala, Andrea Turrini |