Andrea Turrini

Available identifiers

zbMath Open turrini.andreaMaRDI QIDQ282104

List of research outcomes

Publication	Date of Publication	Type
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves	2024-09-08	Paper
Modular mix-and-match complementation of Büchi automata	2023-12-13	Paper
On the power of finite ambiguity in Büchi complementation	2023-05-19	Paper
Congruence Relations for Büchi Automata	2023-04-21	Paper
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling	2022-12-22	Paper
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition	2022-12-07	Paper
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs	2022-11-04	Paper
Synthesizing ranking functions for loop programs via SVM	2022-10-14	Paper
A symbolic algorithm for the case-split rule in string constraint solving	2021-07-08	Paper
Learning to Complement Büchi Automata	2020-07-07	Paper
Model Checking Omega-regular Properties for Quantum Markov Chains	2020-05-27	Paper
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes	2019-09-17	Paper
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games	2019-05-03	Paper
The quest for minimal quotients for probabilistic and Markov automata	2018-09-27	Paper
An efficient synthesis algorithm for parametric Markov chains against linear time properties	2018-08-16	Paper
Exploiting robust optimization for interval probabilistic bisimulation	2018-01-11	Paper
Lazy probabilistic model checking without determinisation	2017-09-12	Paper
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games	2017-02-21	Paper
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time	2017-01-26	Paper
Deciding probabilistic automata weak bisimulation: theory and practice	2016-05-12	Paper
Compositional Bisimulation Minimization for Interval Markov Decision Processes	2016-04-13	Paper
Polynomial time decision algorithms for probabilistic automata	2015-09-28	Paper
Cost Preserving Bisimulations for Probabilistic Automata	2015-01-15	Paper
Computing Behavioral Relations for Probabilistic Concurrent Systems	2015-01-12	Paper
Deciding Bisimilarities on Distributions	2014-05-12	Paper
Cost Preserving Bisimulations for Probabilistic Automata	2013-08-12	Paper
The Quest for Minimal Quotients for Probabilistic Automata	2013-08-05	Paper
Conditional Automata: A Tool for Safe Removal of Negligible Events	2010-08-31	Paper
A quantitative doxastic logic for probabilistic processes and applications to information-hiding	2010-03-10	Paper

Research outcomes over time

This page was built for person: Andrea Turrini