ดาวน์โหลด Linnk AI
•
ผู้ช่วยวิจัย
>
ลงชื่อเข้าใช้
ข้อมูลเชิงลึก
-
過去時制を含むLTLから決定性Rabinオートマトンへの変換
過去時制を含むLTLから決定性Rabinオートマトンへの直接的な変換
過去時制を含むLTLから決定性Rabinオートマトンへの直接的な変換手法を提案する。この変換手法は非決定性オートマトンを経由せず、指数関数的に最適な大きさのRabinオートマトンを生成する。
1