Luis María Ferrer Fioriti

Available identifiers

zbMath Open ferrer-fioriti.luis-mariaMaRDI QIDQ282102

List of research outcomes

Publication	Date of Publication	Type
Probabilistic \(\mathrm{CTL}^*\): the deductive way	2019-09-17	Paper
Synthesizing Probabilistic Invariants via Doob’s Decomposition	2019-05-03	Paper
Cost vs. time in stochastic games and Markov automata	2017-09-08	Paper
Cost vs. Time in Stochastic Games and Markov Automata	2017-08-31	Paper
Probabilistic termination: soundness, completeness, and compositionality	2016-09-29	Paper
Deciding probabilistic automata weak bisimulation: theory and practice	2016-05-12	Paper
Abstraction-Based Computation of Reward Measures for Markov Automata	2015-02-04	Paper
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms	2014-06-06	Paper
Variable Probabilistic Abstraction Refinement	2012-11-21	Paper
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers	2009-10-22	Paper

Research outcomes over time

This page was built for person: Luis María Ferrer Fioriti