Turrini, Andrea

1. Multi-objective Robust Strategy Synthesis for Interval Markov Decision\n Processes
   2017/06/21 by Ernst Moritz Hahn, Hahn, Ernst Moritz, Vahid Hashemi +7 · 1 citation
   Computer Science · #D.2.4 #Evolutionary Algorithms and Applications #F.1.1 #FOS: Electrical engineering #G.1.6 #G.3 #Numerical Methods and Algorithms #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Measurement-based Verification of Quantum Markov Chains
   2024/05/09 by Ji Guan, Guan, Ji, Yuan Feng +5 · 2 citations
   Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Data Quality and Management #FOS: Physical sciences #Quantum Physics (quant-ph)
3. Scenario Approach for Parametric Markov Models
   2023/04/17 by Ying Liu, Andrea Turrini, Liu, Ying +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
4. Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time
   2012/05/02 by Holger Hermanns, Hermanns, Holger, Andrea Turrini +1 · 1 citation
   Computer Science · #F.2 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #G.3 #Machine Learning and Algorithms #Software Testing and Debugging Techniques