Andrea Turrini

From MaRDI portal
Person:282104

Available identifiers

zbMath Open turrini.andreaMaRDI QIDQ282104

List of research outcomes





PublicationDate of PublicationType
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves2024-09-08Paper
Modular mix-and-match complementation of Büchi automata2023-12-13Paper
On the power of finite ambiguity in Büchi complementation2023-05-19Paper
Congruence Relations for Büchi Automata2023-04-21Paper
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling2022-12-22Paper
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition2022-12-07Paper
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs2022-11-04Paper
Synthesizing ranking functions for loop programs via SVM2022-10-14Paper
A symbolic algorithm for the case-split rule in string constraint solving2021-07-08Paper
Learning to Complement Büchi Automata2020-07-07Paper
Model Checking Omega-regular Properties for Quantum Markov Chains2020-05-27Paper
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes2019-09-17Paper
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games2019-05-03Paper
The quest for minimal quotients for probabilistic and Markov automata2018-09-27Paper
An efficient synthesis algorithm for parametric Markov chains against linear time properties2018-08-16Paper
Exploiting robust optimization for interval probabilistic bisimulation2018-01-11Paper
Lazy probabilistic model checking without determinisation2017-09-12Paper
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games2017-02-21Paper
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time2017-01-26Paper
Deciding probabilistic automata weak bisimulation: theory and practice2016-05-12Paper
Compositional Bisimulation Minimization for Interval Markov Decision Processes2016-04-13Paper
Polynomial time decision algorithms for probabilistic automata2015-09-28Paper
Cost Preserving Bisimulations for Probabilistic Automata2015-01-15Paper
Computing Behavioral Relations for Probabilistic Concurrent Systems2015-01-12Paper
Deciding Bisimilarities on Distributions2014-05-12Paper
Cost Preserving Bisimulations for Probabilistic Automata2013-08-12Paper
The Quest for Minimal Quotients for Probabilistic Automata2013-08-05Paper
Conditional Automata: A Tool for Safe Removal of Negligible Events2010-08-31Paper
A quantitative doxastic logic for probabilistic processes and applications to information-hiding2010-03-10Paper

Research outcomes over time

This page was built for person: Andrea Turrini