Thierry Massart

Publication Activity (10 Years)

Years Active: 1988-2019
Publications (10 Years): 2

Top Topics

Markov Decision Process

Transition Matrices

Decision Processes

Top Venues

Discret. Event Dyn. Syst.

J. Comput. Syst. Sci.

Publications

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
The complexity of synchronizing Markov decision processes. J. Comput. Syst. Sci. 100 (2019)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
The Complexity of Synchronizing Markov Decision Processes. CoRR (2016)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Limit Synchronization in Markov Decision Processes. FoSSaCS (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Robust Synchronization in Markov Decision Processes. CONCUR (2014)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Symbolic Supervisory Control of Distributed Systems With Communications. IEEE Trans. Autom. Control. 59 (2) (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Robust Synchronization in Markov Decision Processes. CoRR (2014)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Limit Synchronization in Markov Decision Processes. CoRR (2013)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discret. Event Dyn. Syst. 22 (2) (2012)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Infinite Synchronizing Words for Probabilistic Automata (Erratum) CoRR (2012)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Decentralized Control of Infinite Systems. Discret. Event Dyn. Syst. 21 (3) (2011)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Synthesis of communicating controllers for distributed systems. CDC/ECC (2011)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Global State Estimates for Distributed Systems. FMOODS/FORTE (2011)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Infinite Synchronizing Words for Probabilistic Automata. MFCS (2011)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Synchronizing Objectives for Markov Decision Processes iWIGP (2011)
Michael Leuschel, Thierry Massart
Efficient approximate verification of B and Z models via symmetry markers. Ann. Math. Artif. Intell. 59 (1) (2010)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Control of infinite Symbolic Transition Systems under partial observation. ECC (2009)
Thierry Massart, Cédric Meuter, Laurent Van Begin
On the complexity of partial order trace model checking. Inf. Process. Lett. 106 (3) (2008)
Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
Testing Distributed Systems Through Symbolic Model Checking. FORTE (2007)
Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart
Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA (2007)
Alexandre Genon, Thierry Massart, Cédric Meuter
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. FM (2006)
Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter
SL and Spin. Formal Aspects Comput. 17 (2) (2005)
Bram De Wachter, Alexandre Genon, Thierry Massart
From Static Code Distribution to More Shrinkage for the Multiterminal Cut. WEA (2005)
Bram De Wachter, Thierry Massart, Cédric Meuter
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. OPODIS (2003)
Michael Leuschel, Thierry Massart, Andrew Currie
How to Make FDR Spin LTL Model Checking of CSP by Refinement. FME (2001)
Michael Leuschel, Thierry Massart
Infinite State Model Checking by Abstract Interpretation and Program Specialisation. LOPSTR (1999)
Thierry Massart, Raymond R. Devillers
Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. Formal Aspects Comput. 5 (1) (1993)
Thierry Massart
A Collision Problem in OSI Standard Formal Specifications. Comput. Networks ISDN Syst. 26 (2) (1993)
Thierry Massart
A Calculus to Define Correct Tranformations of LOTOS Specifications. FORTE (1991)
Thierry Massart
An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators. Inf. Process. Lett. 40 (4) (1991)
A. Cohen, Thierry Massart, Bernard Sales, Paul van Binst
The HELIOS project: OSI conformant, high speed data communication by satellite in Europe. ICCC (1988)