Søren Ravn

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Reachability Analysis

Theorem Proving

Algebraic Expressions

Top Venues

J. Log. Algebraic Methods Program.

Publications

Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen
Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. 81 (3) (2012)