KAIST-SE-Lab/StarPlateS
Statistical Verification Framework for Platooning SoS with Uncertainty
C++GPL-3.0
Stargazers
- abalon1210
- AwayDayNHN
- BaekHorangDaejeon, South Korea
- ChangGeun0312
- chloe-kksSeoul, Republic of Korea
- 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-gitVästerås, Sweden