Bernard Boigelot

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 11

Top Topics

Delaunay Triangulations

Quantifier Free

Symbolic Representation

Top Venues

Publications

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. CADE (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
First-Order Quantification over Automata. CoRR (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Universal First-Order Quantification over Automata. CIAA (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. CoRR (2023)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Decidability of difference logics with unary predicates. SC-Square@FLoC (2022)
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper). SC-Square@SIAM AG (2021)
Bernard Boigelot, Isabelle Mainz
Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. ATVA (2018)
Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo
An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention. ICALP (2017)
Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo
An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention. CoRR (2017)
Stéphane Lens, Bernard Boigelot
From Constrained Delaunay Triangulations to Roadmap Graphs with Arbitrary Clearance. CoRR (2016)
Stéphane Lens, Bernard Boigelot
Efficient Path Interpolation and Speed Profile Computation for Nonholonomic Mobile Robots. CoRR (2015)
Raphael Fonteneau, Damien Ernst, Bernard Boigelot, Quentin Louveaux
Lipschitz robust control from off-policy trajectories. CDC (2014)
Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz
Acceleration of Affine Hybrid Transformations. ATVA (2014)
Raphael Fonteneau, Damien Ernst, Bernard Boigelot, Quentin Louveaux
Min Max Generalization for Deterministic Batch Mode Reinforcement Learning: Relaxation Schemes. SIAM J. Control. Optim. 51 (5) (2013)
Bernard Boigelot, Julien Brusten, Jean-François Degbomont
Automata-Based Symbolic Representations of Polyhedra. LATA (2012)
Raphael Fonteneau, Damien Ernst, Bernard Boigelot, Quentin Louveaux
Min Max Generalization for Deterministic Batch Mode Reinforcement Learning: Relaxation Schemes CoRR (2012)
Bernard Boigelot
Domain-specific regular acceleration. Int. J. Softw. Tools Technol. Transf. 14 (2) (2012)
Bernard Boigelot, Julien Brusten, Jean-François Degbomont
Implicit Real Vector Automata INFINITY (2010)
Bernard Boigelot, Julien Brusten, Véronique Bruyère
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases Log. Methods Comput. Sci. 6 (1) (2010)
Bernard Boigelot, Julien Brusten
A generalization of Cobham's theorem to automata over real numbers. Theor. Comput. Sci. 410 (18) (2009)
Bernard Boigelot, Julien Brusten, Jérôme Leroux
A Generalization of Semenov's Theorem to Automata over Real Numbers. CADE (2009)
Bernard Boigelot, Jean-François Degbomont
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. LATA (2009)
Bernard Boigelot, Julien Brusten, Véronique Bruyère
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. ICALP (2) (2008)
Bernard Boigelot, Julien Brusten
A Generalization of Cobham's Theorem to Automata over Real Numbers. ICALP (2007)
Bernard Boigelot, Frédéric Herbreteau
The Power of Hybrid Acceleration. CAV (2006)
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
An effective decision procedure for linear arithmetic over the integers and reals. ACM Trans. Comput. Log. 6 (3) (2005)
Bernard Boigelot
Number-Set Representations for Infinite-State Verification. VISSAS (2005)
Bernard Boigelot, Louis Latour
Counting the solutions of Presburger equations without enumerating them. Theor. Comput. Sci. 313 (1) (2004)
Bernard Boigelot, Axel Legay, Pierre Wolper
Omega-Regular Model Checking. TACAS (2004)
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables CoRR (2003)
Bernard Boigelot
On iterating linear transformations over recognizable sets of integers. Theor. Comput. Sci. 309 (1-3) (2003)
Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne
Hybrid Acceleration Using Real Vector Automata (Extended Abstract). CAV (2003)
Bernard Boigelot, Axel Legay, Pierre Wolper
Iterating Transducers in the Large (Extended Abstract). CAV (2003)
Bernard Boigelot, Pierre Wolper
Representing Arithmetic Constraints with Finite Automata: An Overview. ICLP (2002)
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper
On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. IJCAR (2001)
Bernard Boigelot, Louis Latour
Counting the Solutions of Presburger Equations without Enumerating Them. CIAA (2001)
Pierre Wolper, Bernard Boigelot
On the Construction of Automata from Linear Arithmetic Constraints. TACAS (2000)
Bernard Boigelot, Patrice Godefroid
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. Formal Methods Syst. Des. 14 (3) (1999)
Bernard Boigelot, Stéphane Rassart, Pierre Wolper
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). ICALP (1998)
Pierre Wolper, Bernard Boigelot
Verifying Systems with Infinite but Regular State Spaces. CAV (1998)
Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
The Power of QDDs (Extended Abstract). SAS (1997)
Bernard Boigelot, Patrice Godefroid
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. TACAS (1997)
Bernard Boigelot, Louis Bronne, Stéphane Rassart
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract). CAV (1997)
Bernard Boigelot, Patrice Godefroid
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. FME (1996)
Bernard Boigelot, Patrice Godefroid
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). CAV (1996)
Pierre Wolper, Bernard Boigelot
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS (1995)
Bernard Boigelot, Pierre Wolper
Symbolic Verification with Periodic Sets. CAV (1994)