Travelled to:1 × France
2 × India
Collaborated with:H.Hermanns B.Braitling H.Hatefi R.Wimmer B.Becker G.Barthe T.Espitau J.Hsu
Talks about:abstract (3) probabilist (2) automata (2) markov (2) base (2) decomposit (1) composit (1) synthes (1) complet (1) termin (1)
Person: Luis María Ferrer Fioriti
DBLP: Fioriti:Luis_Mar=iacute=a_Ferrer
Contributed to:
2015
2015
2014
2016Wrote 4 papers:
- POPL-2015-FioritiH #composition #probability #termination
- Probabilistic Termination: Soundness, Completeness, and Compositionality (LMFF, HH), pp. 489–501.
- VMCAI-2015-BraitlingFHWBH #automaton #markov #metric
- Abstraction-Based Computation of Reward Measures for Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 172–189.
- QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement
- MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
- CAV-2016-BartheEFH #composition #invariant #probability
- Synthesizing Probabilistic Invariants via Doob's Decomposition (GB, TE, LMFF, JH), pp. 43–61.