Gidon Ernst (ギドン エルンスト)

Postdoc Researcher
Mathematical and Metamathematical Modeling
National Institute of Informatics, Tokyo.
Email: gidon (*)

At NII I was working with Prof. Ichiro Hasuo as a postdoctoral researcher.

I moved to LMU Munich.


Falsification of hybrid systems (with Ichiro Hasuo, Sean Sedwards, Zhenya Zhang) implemented in the tool FalStar.

see also

  • ARCH-COMP18 Category Report: Results on the Falsification Benchmarks
    A. Dokhanchi, S. Yaghoubi, B. Hoxha, G. Fainekos, G. Ernst, Z. Zhang, P. Arcaini, I. Hasuo and S. Sedwards.
    Applied Verification of Continuous and Hybrid Systems (ARCH), 2018 (doi).

  • Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search
    Z. Zhang, G. Ernst, S. Sedwards, P. Arcaini, I. Hasuo.
    Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD),
    Special issue for the International Conference on Embedded Software (EMSOFT), 2018 (doi, arXiv).
    nominated for best paper

  • Time-staging Enhancement of Hybrid System Falsification.
    G. Ernst, I. Hasuo, Z. Zhang, and S. Sedwards.
    In Proc. of Symbolic and Numerical Methods for Reachability Analysis (SNR), 2018
    (to appear, preprint, arXiv).

  • Metamathematics for Systems Design.
    Ichiro Hasuo
    New Generation Computing, 2017 (pdf).