Tải xuống Linnk AI
•
Trợ lý nghiên cứu
>
Đăng nhập
thông tin chi tiết
-
過去時制を含むLTLから決定性Rabinオートマトンへの変換
過去時制を含むLTLから決定性Rabinオートマトンへの直接的な変換
過去時制を含むLTLから決定性Rabinオートマトンへの直接的な変換手法を提案する。この変換手法は非決定性オートマトンを経由せず、指数関数的に最適な大きさのRabinオートマトンを生成する。
1