Travelled to:
2 × Spain
Collaborated with:
B.Boigelot J.Brusten
Talks about:
automata (2) represent (1) polyhedra (1) project (1) partial (1) visual (1) symbol (1) repres (1) applic (1) state (1)
Person: Jean-François Degbomont
DBLP: Degbomont:Jean=Fran=ccedil=ois
Contributed to:
Wrote 2 papers:
- LATA-2012-BoigelotBD
- Automata-Based Symbolic Representations of Polyhedra (BB, JB, JFD), pp. 3–20.
- LATA-2009-BoigelotD #automaton #finite #set #visualisation
- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization (BB, JFD), pp. 200–211.