時相論理式とBuchiオートマタ(工事中)

ABA, GBA, BA

関連情報

1.LTL式からBuchiオートマトンへの変換
2.Moshe Vardi

Article Info

created: 2021年 11月 8日 月曜日 20:47:15 JST
modified: 2022年 6月 1日 水曜日 11:04:49 JST
views: 2459
keywords: 時相論理式, Buchiオートマタ
prev:動作ベースと状態ベースの仕様記述について next:時相論理式とBuchiオートマタ(工事中)

Social Links




(C) 2021 Laboratory Design