Bernard Boigelot

Available identifiers

zbMath Open boigelot.bernardMaRDI QIDQ1014640

List of research outcomes

Publication	Date of Publication	Type
Universal first-order quantification over automata	2024-02-28	Paper
Efficient symbolic representation of convex polyhedra in high-dimensional spaces	2023-07-28	Paper
Symbolic methods and automata	2021-11-12	Paper
An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention	2020-05-27	Paper
An effective decision procedure for linear arithmetic over the integers and reals	2017-07-12	Paper
Acceleration of Affine Hybrid Transformations	2015-12-17	Paper
Min Max Generalization for Deterministic Batch Mode Reinforcement Learning: Relaxation Schemes	2014-01-27	Paper
Automata-Based Symbolic Representations of Polyhedra	2012-06-08	Paper
Computer Aided Verification	2010-04-20	Paper
Computer Aided Verification	2010-04-20	Paper
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases	2010-03-15	Paper
A Generalization of Semenov’s Theorem to Automata over Real Numbers	2009-07-28	Paper
A generalization of Cobham's theorem to automata over real numbers	2009-04-29	Paper
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization	2009-04-02	Paper
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases	2008-08-19	Paper
A Generalization of Cobham’s Theorem to Automata over Real Numbers	2007-11-28	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
The Power of Hybrid Acceleration	2007-09-05	Paper
On iterating linear transformations over recognizable sets of integers	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4809151	2004-08-12	Paper
Counting the solutions of Presburger equations without enumerating them.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4412567	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4539644	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4518891	2001-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4219027	1999-02-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bernard Boigelot