Paul Kröger

Publications with FICTION

Journal Articles

  1. (2019). In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-State Automata. ACM SIGLOG News. PDF Cite DOI