Andrea Turrini

Available identifiers

zbMath Open turrini.andreaMaRDI QIDQ282104

List of research outcomes

Publication	Date of Publication	Type
On the power of finite ambiguity in Büchi complementation	2023-05-19	Paper
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling	2022-12-22	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrea Turrini