Skip to content
@ERATOMMSD

ERATO MMSD

ERATO Metamathematics for Systems Design Project

Popular repositories Loading

  1. falstar falstar Public

    Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

    Scala 7 2

  2. rnn2wfa_experiment_public rnn2wfa_experiment_public Public

    An implementation of "Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces"

    Python 6

  3. dynamic-shielding dynamic-shielding Public

    An implementation of dynamic shielding

    Jupyter Notebook 5 1

  4. repairTAsThroughAbstraction repairTAsThroughAbstraction Public

    Java 3

  5. frenetic-lib frenetic-lib Public

    The Frenetic algorithm extracted as a standalone tool

    Python 3 1

  6. roadsearch roadsearch Public

    RoadSearch on Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems

    Jupyter Notebook 2

Repositories

Showing 10 of 36 repositories
  • crag Public
    ERATOMMSD/crag’s past year of commit activity
    Python 1 GPL-3.0 1 0 0 Updated Jun 13, 2024
  • surrogate_models_delivery_robots Public

    Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System

    ERATOMMSD/surrogate_models_delivery_robots’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated May 15, 2024
  • crag-sbft2024competition Public
    ERATOMMSD/crag-sbft2024competition’s past year of commit activity
    Python 0 0 0 0 Updated Mar 5, 2024
  • metamorphic_testing_delivery_robots Public
    ERATOMMSD/metamorphic_testing_delivery_robots’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Jan 22, 2024
  • qtpm Public Forked from MasWag/qtpm

    An experimental implementation of Quantitative Timed Pattern Matching

    ERATOMMSD/qtpm’s past year of commit activity
    C++ 0 GPL-3.0 1 0 0 Updated Aug 7, 2023
  • kNNAvg-benchmarking Public
    ERATOMMSD/kNNAvg-benchmarking’s past year of commit activity
    Python 0 0 0 0 Updated Jun 27, 2023
  • frenetic-lib Public

    The Frenetic algorithm extracted as a standalone tool

    ERATOMMSD/frenetic-lib’s past year of commit activity
    Python 3 GPL-3.0 1 0 0 Updated Jun 6, 2023
  • stability_aware_search_delivery_robots Public
    ERATOMMSD/stability_aware_search_delivery_robots’s past year of commit activity
    Roff 0 0 0 0 Updated May 19, 2023
  • stability_aware_exploration_delivery_robots Public
    ERATOMMSD/stability_aware_exploration_delivery_robots’s past year of commit activity
    Python 0 0 0 0 Updated Apr 10, 2023
  • falstar Public

    Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

    ERATOMMSD/falstar’s past year of commit activity
    Scala 7 BSD-3-Clause 2 0 0 Updated Mar 16, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…