Publications

2019

Romain Edelmann, Viktor Kunčak
arXiv

2017

Romain Edelmann, Simon Bliudze, Joseph Sifakis
Journal of Logical and Algebraic Methods in Programming 92, 19-44

2015

Romain Edelmann