Convex analysis meets model checking🧐 Probabilistic model checking can be seen as set inclusion test between a safe region and the achievability set to failure states in MDP. Using convex analysis, we propose a computationally efficient query. Never expected doing verification research!

Show Post

2月ごろからずっと20x使ってたけど今日で契約解除する、さようなら

Show Post

Han Bao, Shinsaku Sakaue, Kazuki Watanabe: Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes https://arxiv.org/abs/2610.17541 https://arxiv.org/pdf/2610.17541 https://arxiv.org/html/2610.17541

Show Post

無限の時間があれば書きたいなと思って少しだけ書いた日本語エントリが溜まりまくっていて終わっている

Show Post

バリバリにAI使いこなしてる人たちだけでチームつくるのと今までのやり方の延長に徐々にAI入れていきましょうね〜ってやってる人たちとの物事をすすめる速度の差がそろそろかなりの開きになってきていて、割とキャッチアップできてるぜみたいな自認のところでも後者のやり方だと全然効率的になっていない(しそこまで差が大きいと気づけていない)みたいなことが発生している気がする

Show Post