Publications

2020

Romain Edelmann, Jad Hamza, Viktor Kunčak
PLDI’20

2019

Romain Edelmann, Jad Hamza, Viktor Kunčak
arXiv
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