Luis Mar\'ia Ferrer Fioriti

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

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