Travelled to:
1 × Germany
Collaborated with:
P.Reynier
Talks about:
automata (1) quantit (1) analysi (1) robust (1) time (1) flat (1)
Person: Rémi Jaubert
DBLP: Jaubert:R=eacute=mi
Contributed to:
Wrote 1 papers:
- FoSSaCS-2011-JaubertR #analysis #automaton #robust
- Quantitative Robustness Analysis of Flat Timed Automata (RJ, PAR), pp. 229–244.