2,128 followers
https://t.co/ZwWd6gkVHF MDPの最適ポリシーのDPアルゴリズムはスケールしないので、状態空間のerror-drivenな適応的aggregation。また、その場合の error boundの導出。 正直あまり理解できなかった…… #ATVA
https://t.co/ZwWd6gkVHF MDPの最適ポリシーのDPアルゴリズムはスケールしないので、状態空間のerror-drivenな適応的aggregation。また、その場合の error boundの導出。 正直あまり理解できなかった…… #ATVA
https://t.co/eRQ5O9fPQw Flanked Automatonは,NFAにflanking functionを足したもので,定義を書くのはめんどいので見て.モチベはいい感じに閉包性を満たして各種操作が多項式時間ぐらいでできるものを見つけたいという良くあるアレ
RT @ranha: 次はこれ:https://t.co/j4QM4AipKg この話と,この次の話を聞きに来ました.Affine Counter Systemsのconfigurationは<state, vec of nats>で,更新が A(行列) * vec + B(行…
次はG. Parlatoさんのところの,Cseqの最新作の話でした:https://t.co/oT5ji9SSm2 Cseqはconcurrentなプログラムを,「非決定的なsequential」プログラムに変換・検証するツールですけど,ちょっと拡張したんで✋という話です