Valérie Murat

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Reactive Systems

Computation Tree Logic

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
A Completion Algorithm for Lattice Tree Automata. CIAA (2013)
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
Tree Regular Model Checking for Lattice-Based Automata CoRR (2012)
Yohan Boichut, Thi-Bich-Hanh Dao, Valérie Murat
Characterizing Conclusive Approximations by Logical Formulae. RP (2011)