Travelled to:
1 × Germany
Collaborated with:
V.Rusu
Talks about:
automata (1) uniform (1) hybrid (1) decid (1)
Person: Olivier F. Roux
DBLP: Roux:Olivier_F=
Contributed to:
Wrote 1 papers:
- SAS-1996-RouxR #automaton #decidability #hybrid
- Uniformity for the Decidability of Hybrid Automata (OFR, VR), pp. 301–316.