時相論理式と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: 479
keywords: 時相論理式, Buchiオートマタ
prev:動作ベースと状態ベースの仕様記述について next:時相論理式とBuchiオートマタ(工事中)