KAIST-SE-Lab/StarPlateS
Statistical Verification Framework for Platooning SoS with Uncertainty
C++GPL-3.0
Stargazers
- abalon1210
- AwayDayNHN
- BaekHorangSoftware Engineering Lab, KAIST (Korea Advanced Institute of Science and Technology)
- ChangGeun0312
- chloe-kksNAVER
- devhwaz
- devturnip
- diofiol
- dodam-kim
- duagusry
- EunhoChoN1 522, KAIST, Daejeon, Korea
- eunkjee
- hannahthwe
- hsKim25
- ithong88
- junghyun960
- KangTag
- kevins3204KRAFTON
- lingjunliu
- NyongJin
- psumin
- sarahsong7
- sumin0407
- sunggeunAhn
- SungJin1212
- SuperWonjuneSeoul, Korea
- yongjunshinETRI
- zele-gitMDU