Bernard Boigelot

According to our database, Bernard Boigelot authored at least 43 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

First-Order Quantification over Automata.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

CoRR, 2023

Universal First-Order Quantification over Automata.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the Implementation and Application of Automata, 2023

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Decidability of difference logics with unary predicates.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

2021

Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper).

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2021

Symbolic methods and automata.

Bernard Boigelot

Proceedings of the Handbook of Automata Theory., 2021

2018

Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces.

Bernard Boigelot, Isabelle Mainz

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention.

Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

From Constrained Delaunay Triangulations to Roadmap Graphs with Arbitrary Clearance.

Stéphane Lens, Bernard Boigelot

CoRR, 2016

2015

Efficient Path Interpolation and Speed Profile Computation for Nonholonomic Mobile Robots.

Stéphane Lens, Bernard Boigelot

CoRR, 2015

2014

Lipschitz robust control from off-policy trajectories.

Raphael Fonteneau, Damien Ernst, Bernard Boigelot, Quentin Louveaux

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Acceleration of Affine Hybrid Transformations.

Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Min Max Generalization for Deterministic Batch Mode Reinforcement Learning: Relaxation Schemes.

Raphael Fonteneau, Damien Ernst, Bernard Boigelot, Quentin Louveaux

SIAM J. Control. Optim., 2013

2012

Domain-specific regular acceleration.

Bernard Boigelot

Int. J. Softw. Tools Technol. Transf., 2012

Automata-Based Symbolic Representations of Polyhedra.

Bernard Boigelot, Julien Brusten, Jean-François Degbomont

Proceedings of the Language and Automata Theory and Applications, 2012

2010

Implicit Real Vector Automata

Bernard Boigelot, Julien Brusten, Jean-François Degbomont

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

Bernard Boigelot, Julien Brusten, Véronique Bruyère

Log. Methods Comput. Sci., 2010

2009

A generalization of Cobham's theorem to automata over real numbers.

Bernard Boigelot, Julien Brusten

Theor. Comput. Sci., 2009

Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization.

Bernard Boigelot, Jean-François Degbomont

Proceedings of the Language and Automata Theory and Applications, 2009

A Generalization of Semenov's Theorem to Automata over Real Numbers.

Bernard Boigelot, Julien Brusten, Jérôme Leroux

Proceedings of the Automated Deduction, 2009

2006

The Power of Hybrid Acceleration.

Bernard Boigelot, Frédéric Herbreteau

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

An effective decision procedure for linear arithmetic over the integers and reals.

Bernard Boigelot, Sébastien Jodogne, Pierre Wolper

ACM Trans. Comput. Log., 2005

Number-Set Representations for Infinite-State Verification.

Bernard Boigelot

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

2004

Counting the solutions of Presburger equations without enumerating them.

Bernard Boigelot, Louis Latour

Theor. Comput. Sci., 2004

Omega-Regular Model Checking.

Bernard Boigelot, Axel Legay, Pierre Wolper

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

On iterating linear transformations over recognizable sets of integers.

Bernard Boigelot

Theor. Comput. Sci., 2003

An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables

Bernard Boigelot, Sébastien Jodogne, Pierre Wolper

CoRR, 2003

Iterating Transducers in the Large (Extended Abstract).

Bernard Boigelot, Axel Legay, Pierre Wolper

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Hybrid Acceleration Using Real Vector Automata (Extended Abstract).

Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Representing Arithmetic Constraints with Finite Automata: An Overview.

Bernard Boigelot, Pierre Wolper

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables.

Bernard Boigelot, Sébastien Jodogne, Pierre Wolper

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

On the Construction of Automata from Linear Arithmetic Constraints.

Pierre Wolper, Bernard Boigelot

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999

Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs.

Bernard Boigelot, Patrice Godefroid

Formal Methods Syst. Des., 1999

1998

Symbolic Methods for Exploring Infinite State Spaces.

Bernard Boigelot

PhD thesis, 1998

On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).

Bernard Boigelot, Stéphane Rassart, Pierre Wolper

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Verifying Systems with Infinite but Regular State Spaces.

Pierre Wolper, Bernard Boigelot

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.

Bernard Boigelot, Patrice Godefroid

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

The Power of QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper

Proceedings of the Static Analysis, 4th International Symposium, 1997

An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract).

Bernard Boigelot, Louis Bronne, Stéphane Rassart

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.

Bernard Boigelot, Patrice Godefroid

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)

Pierre Wolper, Bernard Boigelot

Proceedings of the Static Analysis, 1995

1994

Symbolic Verification with Periodic Sets.

Bernard Boigelot, Pierre Wolper

Proceedings of the Computer Aided Verification, 6th International Conference, 1994