B. Boigelot

From MaRDI portal
Person:1014640

Available identifiers

zbMath Open boigelot.bernardMaRDI QIDQ1014640

List of research outcomes





PublicationDate of PublicationType
Non-emptiness test for automata over words indexed by the reals and rationals2025-01-20Paper
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates2024-04-26Paper
Universal first-order quantification over automata2024-02-28Paper
Efficient symbolic representation of convex polyhedra in high-dimensional spaces2023-07-28Paper
Symbolic methods and automata2021-11-12Paper
An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention2020-05-27Paper
An effective decision procedure for linear arithmetic over the integers and reals2017-07-12Paper
Acceleration of Affine Hybrid Transformations2015-12-17Paper
Min max generalization for deterministic batch mode reinforcement learning: relaxation schemes2014-01-27Paper
Automata-Based Symbolic Representations of Polyhedra2012-06-08Paper
Computer Aided Verification2010-04-20Paper
Computer Aided Verification2010-04-20Paper
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases2010-03-15Paper
A Generalization of Semenov’s Theorem to Automata over Real Numbers2009-07-28Paper
A generalization of Cobham's theorem to automata over real numbers2009-04-29Paper
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization2009-04-02Paper
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases2008-08-19Paper
A Generalization of Cobham’s Theorem to Automata over Real Numbers2007-11-28Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
The Power of Hybrid Acceleration2007-09-05Paper
On iterating linear transformations over recognizable sets of integers2004-10-27Paper
https://portal.mardi4nfdi.de/entity/Q48091512004-08-12Paper
Counting the solutions of Presburger equations without enumerating them.2004-03-14Paper
https://portal.mardi4nfdi.de/entity/Q44125672003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q45396442002-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45188912001-02-05Paper
https://portal.mardi4nfdi.de/entity/Q42190271999-02-14Paper

Research outcomes over time

This page was built for person: B. Boigelot