Baptiste Vergain

According to our database, Baptiste Vergain authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the Implementation and Application of Automata, 2024

2023

First-Order Quantification over Automata.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

CoRR, 2023

Universal First-Order Quantification over Automata.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the Implementation and Application of Automata, 2023

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Decidability of difference logics with unary predicates.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

2021

Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper).

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2021