Luis Mar\'ia Ferrer Fioriti

Identifiers

• name variant Luis Mar\'ia Ferrer Fioriti 0.60 · backfill

Papers (2)

1. Synthesizing Probabilistic Invariants via Doob's Decomposition cs.PL · 2016 · author #3
2. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata cs.LO · 2014 · author #2

Mentions

• 1406.2068 #2 · backfill · confidence 0.70 Luis Mar\'ia Ferrer Fioriti

Frequent Coauthors

• Bernd Becker 1 shared papers
• Bettina Braitling 1 shared papers
• Gilles Barthe 1 shared papers
• Hassan Hatefi 1 shared papers
• Holger Hermanns 1 shared papers
• Justin Hsu 1 shared papers
• Ralf Wimmer 1 shared papers
• Thomas Espitau 1 shared papers