Bernard Boigelot | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙