Login / Signup
Jonathan Homburg
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Incremental Algorithms
Probabilistic Automata
Symbolic Description
Finite State Machines
Top Venues
VSTTE
</>
Publications
</>
Jonathan Homburg
,
Parasara Sridhar Duggirala
Incremental Minimization of Symbolic Automata.
VSTTE
(2019)