Repositories list

• crag

  Public
  Python

  •

  GNU General Public License v3.0

  •1•1•0•0•Updated Jun 13, 2024Jun 13, 2024

• surrogate_models_delivery_robots

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

  Jupyter Notebook

  •0•0•0•0•Updated May 15, 2024May 15, 2024

• crag-sbft2024competition

  Public
  Python

  •

  Other

  •0•0•0•0•Updated Mar 5, 2024Mar 5, 2024

• metamorphic_testing_delivery_robots

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Jan 22, 2024Jan 22, 2024

• qtpm

  Public
  An experimental implementation of Quantitative Timed Pattern Matching

  C++

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Aug 7, 2023Aug 7, 2023

• kNNAvg-benchmarking

  Public
  Python

  •0•0•0•0•Updated Jun 27, 2023Jun 27, 2023

• frenetic-lib

  Public
  The Frenetic algorithm extracted as a standalone tool

  Python

  •

  GNU General Public License v3.0

  •1•3•0•0•Updated Jun 6, 2023Jun 6, 2023

• stability_aware_search_delivery_robots

  Public
  Roff

  •0•0•0•0•Updated May 19, 2023May 19, 2023

• stability_aware_exploration_delivery_robots

  Public
  Python

  •0•0•0•0•Updated Apr 10, 2023Apr 10, 2023

• falstar

  Public
  Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

  Scala

  •

  BSD 3-Clause "New" or "Revised" License

  •2•7•0•0•Updated Mar 16, 2023Mar 16, 2023

• crag-sbft2023competition

  Public
  Python

  •

  Other

  •0•0•0•0•Updated Jan 27, 2023Jan 27, 2023

• allocation-delivery-robots

  Public
  Python

  •0•0•0•0•Updated Nov 4, 2022Nov 4, 2022

• dynamic-shielding

  Public
  An implementation of dynamic shielding

  Jupyter Notebook

  •

  MIT License

  •1•5•0•0•Updated Nov 1, 2022Nov 1, 2022

• roadsearch

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

  Jupyter Notebook

  •

  MIT License

  •0•2•0•0•Updated May 24, 2022May 24, 2022

• moore_machine_filter

  Public
  An experimental implementation of Moore machine filter for timed and untimed pattern matching

  C++

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 8, 2022Apr 8, 2022

• ADSscenarioSimplification

  Public
  Java

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Mar 29, 2022Mar 29, 2022

• freneticV-sbst22

  Public
  Python

  •0•0•0•0•Updated Mar 22, 2022Mar 22, 2022

• fm2qn

  Public
  FM2QN: Transforming Feature Models into Queueing Networks

  performance-evaluationsoftware-product-linesfeature-model+ 1queueing-networks

  Java

  •0•0•0•0•Updated Feb 28, 2022Feb 28, 2022

• tool-competition-av

  Public
  The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.

  Python

  •

  MIT License

  •23•0•0•0•Updated Jan 21, 2022Jan 21, 2022

• frenetic-sbst21

  Public
  Frenetic submission to the SBST21 competition

  Python

  •

  Other

  •1•1•0•0•Updated Oct 8, 2021Oct 8, 2021

• QUATIC2021-KNN-Averaging

  Public
  Supporting Submission for the QUATIC 2021 Paper for kNN-Averaging

  Python

  •

  MIT License

  •0•0•0•0•Updated Sep 10, 2021Sep 10, 2021

• GranularityFLforDNNs

  Public
  Python

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Aug 17, 2021Aug 17, 2021

• qcl_tap_2021

  Public
  TAP2021: Architecture-Guided Test Resource Allocation Via Logic - Open Source + Experimentation

  Jupyter Notebook

  •0•0•0•0•Updated May 5, 2021May 5, 2021

• tropical_learning_public

  Public
  Rust

  •0•1•0•0•Updated Oct 23, 2020Oct 23, 2020

• repairTAsThroughAbstraction

  Public
  Java

  •0•3•0•0•Updated Sep 28, 2020Sep 28, 2020

• QIsAgreementMOSAs

  Public
  Java

  •0•0•0•0•Updated Jul 9, 2020Jul 9, 2020

• QIsPreferences

  Public
  R

  •0•0•0•0•Updated Jul 9, 2020Jul 9, 2020

• mind_the_gap

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

  Jupyter Notebook

  •

  Other

  •0•1•0•0•Updated May 16, 2020May 16, 2020

• rnn2wfa_experiment_public

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

  Python

  •0•6•0•0•Updated Dec 2, 2019Dec 2, 2019

• KeYmaeraX-release

  Public
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

  Scala

  •

  GNU General Public License v2.0

  •40•0•0•0•Updated Oct 25, 2019Oct 25, 2019