2024-03-09: 時相論理のモニタリングについての記事を書いた
やったこと
blog
記事を公開した。
時相論理を使ったモニタリングについて。
https://makenowjust-labs.github.io/blog/post/2024-03-09-temporal-logic-monitoring/
https://twitter.com/make_now_just/status/1766383711778652585
本当はPPL中にまとめるつもりだったのだけど、結構時間がかかった。
あまり上手くまとまってないような気がする。難しい。