Qinshi Wang
From MaRDI portal
Person:2810844
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Foundational verification of stateful P4 packet processing | 2024-11-26 | Paper |
| A solver for arrays with concatenation Journal of Automated Reasoning | 2023-06-14 | Paper |
| Verified Erasure Correction in Coq with MathComp and VST | 2022-12-07 | Paper |
| Combinatorial multi-armed bandit and its extension to probabilistically triggered arms Journal of Machine Learning Research (JMLR) | 2016-06-06 | Paper |
| Combinatorial multi-armed bandit and its extension to probabilistically triggered arms Journal of Machine Learning Research (JMLR) | 2016-06-06 | Paper |
Research outcomes over time
This page was built for person: Qinshi Wang
