Jean-François Degbomont

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Distance Function

Top Venues

Publications

Bernard Boigelot, Julien Brusten, Jean-François Degbomont
Automata-Based Symbolic Representations of Polyhedra. LATA (2012)
Bernard Boigelot, Julien Brusten, Jean-François Degbomont
Implicit Real Vector Automata INFINITY (2010)
Bernard Boigelot, Jean-François Degbomont
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. LATA (2009)