B. Boigelot

Available identifiers

zbMath Open boigelot.bernardMaRDI QIDQ1014640

List of research outcomes

Publication	Date of Publication	Type
Non-emptiness test for automata over words indexed by the reals and rationals	2025-01-20	Paper
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates	2024-04-26	Paper
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

This page was built for person: B. Boigelot