KAIST-SE-Lab / StarPlateS
Statistical Verification Framework for Platooning SoS with Uncertainty
☆28Updated 2 years ago
Alternatives and similar repositories for StarPlateS:
Users that are interested in StarPlateS are comparing it to the libraries listed below
- SoS Simulation Engine☆24Updated 8 months ago
- SIMVA-SoS: Simulation-based Verification and Analysis for SoS☆28Updated 4 years ago
- ☆13Updated 3 years ago
- SIMVA-SoS Lite☆13Updated 4 years ago
- Spectrum-based fault localization on collaboration graph of System-of-Systems☆30Updated 5 years ago
- Data-driven environment model generation for complex system such as System-of-Systems and Self-Adaptive System☆15Updated 6 years ago
- 한국어 자연어처리를 위한 파이썬 라이브러리입니다. 단어 추출/ 토크나이저 / 품사판별/ 전처리의 기능을 제공합니다.☆960Updated last month
- ☆11Updated 3 years ago
- ☆25Updated last year
- Intelligent Component Registry web service for managing and using snn, dnn, and ml models, which is stored in onnx format.☆21Updated 2 years ago
- cloud-edge-mgmt-api-gateway☆17Updated last year
- MUI+React+Webpack+Express WebApp☆4Updated 8 years ago
- A custom picker component in React JS which can be used as year, string, emoticon etc selctor.☆26Updated 2 years ago
- Neuromorphic Architecture Integrated Development Environment☆16Updated 2 years ago
- React Redux Boilerplate/starter kit with Redux Store(Thunk or Sagas), API middleware(Axios), React-Router and all the bootstrapping depen…☆29Updated 2 years ago
- [Zoom & Facebook Live] Weekly AI Arxiv 시즌2☆969Updated last year
- 어떻게 엄준식이 언어이름이냐🤣☆779Updated 10 months ago
- 한국어 데이터 세트 링크☆883Updated 5 months ago
- KRX 주식 정보 스크래핑☆734Updated 8 months ago
- Automatic Korean word spacing with Python☆414Updated 9 months ago
- Awesome list of Korean Large Language Models.☆463Updated last year
- 한국 금융감독원에서 운영하는 다트(Dart) 시스템 크롤링을 위한 라이브러리☆336Updated this week
- KoAlpaca: 한국어 명령어를 이해하는 오픈소스 언어모델 (KoAlpaca: An open-source language model to understand Korean instructions)☆1,566Updated 5 months ago
- Python API for Kiwi☆312Updated 3 weeks ago
- KSS: Korean String processing Suite☆438Updated this week
- Kiwi(지능형 한국어 형태소 분석기)☆570Updated this week
- 🤗 Pretrained BERT model & WordPiece tokenizer trained on Korean Comments 한국어 댓글로 프리트레이닝한 BERT 모델과 데이터셋☆480Updated 2 years ago
- [파이썬과 케라스로 배우는 강화학습] 예제☆380Updated 4 years ago
- Korean corpus repository☆719Updated 2 years ago
- The text for those who want to study reinforcement learning in Korean☆332Updated last year