ERATOMMSD/roadsearch ERATOMMSD/roadsearch

  • Stars
    star
    2
  • Language
    Jupyter Notebook
  • License
    MIT License
  • Created about 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ERATOMMSD/roadsearch
github

ERATOMMSD

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

falstar

Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input
Scala
7
star
2

rnn2wfa_experiment_public

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

dynamic-shielding

An implementation of dynamic shielding
Jupyter Notebook
5
star
4

frenetic-lib

The Frenetic algorithm extracted as a standalone tool
Python
3
star
5

repairTAsThroughAbstraction

Java
3
star
6

mind_the_gap

An implementation of "Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic"
Jupyter Notebook
1
star
7

frenetic-sbst21

Frenetic submission to the SBST21 competition
Python
1
star
8

GranularityFLforDNNs

Python
1
star
9

tropical_learning_public

Rust
1
star
10

scenario_sampler_code

C++
1
star
11

ADSscenarioSimplification

Java
1
star
12

crag

Python
1
star