Anicet Bart

According to our database, Anicet Bart authored at least 7 papers between 2014 and 2018.

Collaborative distances:

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

2018

Reachability in parametric Interval Markov Chains using constraints.

Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet

Theor. Comput. Sci., 2018

2017

Constraint modelling and solving of some verification problems. (Modélisation et résolution par contraintes de problèmes de vérification).

Anicet Bart

PhD thesis, 2017

A global constraint for over-approximation of real-time streams.

Anicet Bart, Charlotte Truchet, Éric Monfroy

Constraints An Int. J., 2017

Reachability in Parametric Interval Markov Chains Using Constraints.

Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

An Improved CNF Encoding Scheme for Probabilistic Inference.

Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Verifying a Real-Time Language with Constraints.

Anicet Bart, Charlotte Truchet, Éric Monfroy

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Symmetry-Driven Decision Diagrams for Knowledge Compilation.

Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014