本論文では、離散時間確率過程の新しい抽象化手法を提案している。従来の手法では、抽象化モデルの遷移確率を正確に計算する必要があり、計算コストが高かった。
提案手法では、抽象化モデルの遷移確率を不確定な集合として表現する。これにより、より柔軟な制御合成が可能となる。具体的には以下の通り:
提案手法は、従来手法では抽象化できなかった事例でも適用可能であり、より高い仕様充足確率を達成できることを示している。
To Another Language
from source content
arxiv.org
ข้อมูลเชิงลึกที่สำคัญจาก
by Rudi Coppola... ที่ arxiv.org 04-15-2024
https://arxiv.org/pdf/2404.08344.pdfสอบถามเพิ่มเติม