Pinned Repositories
c-cmaes
CMA-ES written in ANSI C (yet fairly object-oriented)
CausationMonitorCPP
CGVT
CGVT, short for Coarse-grained VeriTrace, is an automatic tool for the localization of linearizability bugs.
choshina.github.io
ConcurCpp
a concurrent library implemented by PThread, and a semi-automatic test tool.
coverage-confidence
A Robustness-based Confidence Measure for Hybrid System Falsification
FalsifAI
Falsification of AI-Enabled Hybrid Control Systems
PlatoonFalsification
String Stability of Platoon Control Systems
setta2018
STL-causation-monitor
This repository is for the artifact evaluation of the paper "Online Causation Monitoring of Signal Temporal Logic", accepted by CAV 2023.
choshina's Repositories
choshina/ConcurCpp
a concurrent library implemented by PThread, and a semi-automatic test tool.
choshina/coverage-confidence
A Robustness-based Confidence Measure for Hybrid System Falsification
choshina/FalsifAI
Falsification of AI-Enabled Hybrid Control Systems
choshina/PlatoonFalsification
String Stability of Platoon Control Systems
choshina/setta2018
choshina/STL-causation-monitor
This repository is for the artifact evaluation of the paper "Online Causation Monitoring of Signal Temporal Logic", accepted by CAV 2023.
choshina/c-cmaes
CMA-ES written in ANSI C (yet fairly object-oriented)
choshina/CausationMonitorCPP
choshina/CGVT
CGVT, short for Coarse-grained VeriTrace, is an automatic tool for the localization of linearizability bugs.
choshina/choshina.github.io
choshina/EfficientCausationMonitor
choshina/examples
Examples for Bazel
choshina/FalSTAR-NFM
An artifact for submission of NFM 2021
choshina/ForeSee
Artifact Evaluation for Paper "Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness"
choshina/GPConfidence
choshina/HierarchicalTesting
choshina/learnDNN
choshina/learnTensorFlow
choshina/matchmake
The algorithm of matchmaking system for stock transaction.
choshina/MCTS-poster-
choshina/nelder-mead
Pure Python/Numpy implementation of the Nelder-Mead algorithm.
choshina/OPTExample
choshina/STLMonitorReset
Online Reset for STL Monitoring
choshina/testCodeOcean
choshina/tests
choshina/time-staging_poster
choshina/WorkBlog