Trace-Length Independent Runtime Monitoring of Quantitative Policies
- Xiaoning Du
- , Alwen Tiu
- , Kun Cheng
- , Yang Liu*
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
5
Citations
(Scopus)