Efficient State Estimation of Discrete-Timed Automata.

Julian Klein, Paul Kogel, Sabine Glesner

Browse the full ICFEM paper archive.