Bernard Boigelot | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Pascal Fontaine
7 publications
Baptiste Vergain
2 publications

research

∙ 06/07/2023

First-Order Quantification over Automata

Deciding formulas mixing arithmetic and uninterpreted predicates is of p...

0 Bernard Boigelot, et al. ∙

research

∙ 05/24/2023

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates

First-order logic fragments mixing quantifiers, arithmetic, and uninterp...

0 Bernard Boigelot, et al. ∙