Matthieu Renard

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 5

Top Topics

Imperfect Information

Desirable Properties

General Game Playing

Top Venues

Math. Struct. Comput. Sci.

Formal Aspects Comput.

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Sylvain Kubler, Matthieu Renard, Sankalp Ghatpande, Jean-Philippe Georges, Yves Le Traon
Decision support system for blockchain (DLT) platform selection based on ITU recommendations: A systematic literature review approach. Expert Syst. Appl. 211 (2023)
Matthieu Renard, Antoine Rollet, Yliès Falcone
Runtime enforcement of timed properties using games. Formal Aspects Comput. 32 (2-3) (2020)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
Optimal enforcement of (timed) properties with uncontrollable events. Math. Struct. Comput. Sci. 29 (1) (2019)
Matthieu Renard, Antoine Rollet, Yliès Falcone
Runtime enforcement using Büchi games. SPIN (2017)
Matthieu Renard, Antoine Rollet, Yliès Falcone
GREP: Games for the Runtime Enforcement of Properties. ICTSS (2017)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC (2015)