Luis María Ferrer Fioriti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
MeGARA: menu-based game abstraction and abstraction refinement of Markov automata	2025-02-05	Paper
Probabilistic \(\mathrm{CTL}^*\): the deductive way	2019-09-17	Paper
Synthesizing Probabilistic Invariants via Doob’s Decomposition Computer Aided Verification	2019-05-03	Paper
Cost vs. time in stochastic games and Markov automata Formal Aspects of Computing	2017-09-08	Paper
Cost vs. Time in Stochastic Games and Markov Automata Dependable Software Engineering: Theories, Tools, and Applications	2017-08-31	Paper
Probabilistic termination: soundness, completeness, and compositionality Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
Deciding probabilistic automata weak bisimulation: theory and practice Formal Aspects of Computing	2016-05-12	Paper
Abstraction-based computation of reward measures for Markov automata Lecture Notes in Computer Science	2015-02-04	Paper
Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms Theoretical Computer Science	2014-06-06	Paper
Variable probabilistic abstraction refinement Automated Technology for Verification and Analysis	2012-11-21	Paper
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers CONCUR 2009 - Concurrency Theory	2009-10-22	Paper

Research outcomes over time

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