Benjamin Monmege

Université D'Aix Marseille - Marseille / France

Others

AD Scientific Index ID: 921957

Aix-Marseille University Aix-Marseille Universite

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Université D'Aix Marseille

Benjamin Monmege's MOST POPULAR ARTICLES

1-) Interval iteration algorithm for MDPs and IMDPs Theoretical Computer Science 735, 111-131, 2018

2-) Reachability in MDPs: Refining convergence of value iteration International Workshop on Reachability Problems, 125-137, 2014

3-) Bounded Underapproximations Formal Methods in System Design 40 (2), 206-231, 2012

4-) MightyL: A Compositional Translation from MITL to Timed Automata International Conference on Computer Aided Verification, 421-440, 2017

5-) A fresh approach to learning register automata International Conference on Developments in Language Theory, 118-130, 2013

ARTICLES

Add your articles