Anicet Bart

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 5

Top Topics

Monte Carlo Method

Probabilistic Automata

Transition Matrix

Markov Processes

Top Venues

Constraints An Int. J.

IMT Atlantique, France (PHD)

Education History

IMT Atlantique, France

PHD

Publications

Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. 747 (2018)
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in Parametric Interval Markov Chains using Constraints. CoRR (2017)
Anicet Bart, Charlotte Truchet, Éric Monfroy
A global constraint for over-approximation of real-time streams. Constraints An Int. J. 22 (3) (2017)
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in Parametric Interval Markov Chains Using Constraints. QEST (2017)
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
An Improved CNF Encoding Scheme for Probabilistic Inference. ECAI (2016)
Anicet Bart, Charlotte Truchet, Éric Monfroy
Verifying a Real-Time Language with Constraints. ICTAI (2015)
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
Symmetry-Driven Decision Diagrams for Knowledge Compilation. ECAI (2014)