Skip to content
View leonsbt's full-sized avatar
1 follower · 2 following

Organizations

@ZenkoLab

Block or report leonsbt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Agent-Based-Model-Calibration Agent-Based-Model-Calibration Public

    Calibrating a Brock & Hommes heterogeneous-agent market model to empirical stylised facts via iterative GMM, with sloppiness analysis to diagnose parameter identifiability.

    Jupyter Notebook

  2. zeno-checker-uppaal zeno-checker-uppaal Public

    Static analyser detecting Zeno behaviour in UPPAAL timed automata models — implements the Strongly Non-Zeno criterion. Validated on an aircraft anti-collision model. (Critical Systems project, Cent…

    Python