Descarga Linnk AI
•
Asistente de Investigación
>
Iniciar sesión
Información
-
過去時制を含むLTLから決定性Rabinオートマトンへの変換
過去時制を含むLTLから決定性Rabinオートマトンへの直接的な変換
過去時制を含むLTLから決定性Rabinオートマトンへの直接的な変換手法を提案する。この変換手法は非決定性オートマトンを経由せず、指数関数的に最適な大きさのRabinオートマトンを生成する。
1