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

ABA, GBA, BA

関連情報

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

Article Info

created: 2021年 11月 8日 月曜日 20:47:15 JST
modified: 2021年 12月 3日 金曜日 19:50:46 JST
views: 126
keywords: 時相論理式, Buchiオートマタ
prev:動作ベースと状態ベースの仕様記述について next:時相論理式とBuchiオートマタ(工事中)

Social Links




(C) 2021 Laboratory Design