Laurent Xu

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Bayesian Framework

Domain Specific

Top Venues

Publications

Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu
Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. ATVA (2016)