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