Block or report user

Popular repositories

  1. tip

    Forked from niklasso/tip

    A model checker based on SAT solving and induction

    C++ 1

  2. LearnMealyMachine

    Implementation of Mealy machine learning algorithm and its extension

    Java 1

  3. safety-prover

    Forked from ericpony/safety-prover

    Inductive invariant synthesis via learning


  4. SemiBuchi

    Complementation of Semi-deterministic Büchi (nested word) automata


  5. Buchi


222 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

October 2017

Seeing something unexpected? Take a look at the GitHub profile guide.