Explore @ERATOMMSD Open Source projects

ERATO MMSD (@ERATOMMSD)

ERATOMMSD

Stars
34
Global Org. Rank 94,541 (Top 31 %)
Registered about 8 years ago
Most used languages

Python
38.5 %

Jupyter Notebook
23.1 %

Java
15.4 %

C++
7.7 %

Scala
7.7 %

Rust
7.7 %
Location 🇯🇵 Japan
Country Total Rank 9,085
Country Ranking

Scala
231

Jupyter Notebook
583

Java
1,509

Rust
1,512

Python
2,399

C++
3,279

falstar

Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

rnn2wfa_experiment_public

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

dynamic-shielding

An implementation of dynamic shielding

Jupyter Notebook

frenetic-lib

The Frenetic algorithm extracted as a standalone tool

repairTAsThroughAbstraction

roadsearch

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

Jupyter Notebook

mind_the_gap

An implementation of "Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic"

Jupyter Notebook

frenetic-sbst21

Frenetic submission to the SBST21 competition

GranularityFLforDNNs

tropical_learning_public

scenario_sampler_code

ADSscenarioSimplification

crag