%0 Journal Article %1 journals/corr/abs-2311-15531 %A Wang, Chuwei %A Yu, Xinyi %A Zhao, Jianing %A Lindemann, Lars %A Yin, Xiang %D 2023 %J CoRR %K dblp %T Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-15531 %V abs/2311.15531

@article{journals/corr/abs-2311-15531, added-at = {2023-12-01T00:00:00.000+0100}, author = {Wang, Chuwei and Yu, Xinyi and Zhao, Jianing and Lindemann, Lars and Yin, Xiang}, biburl = {https://www.bibsonomy.org/bibtex/2ba7824f369fcb0e16ceec661d9e113f3/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.15531}, interhash = {79fe56e468e10c4e0ef41b8fd1b81fa9}, intrahash = {ba7824f369fcb0e16ceec661d9e113f3}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:57:56.000+0200}, title = {Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-15531}, volume = {abs/2311.15531}, year = 2023 }