Symbolic determinisation of extended automata

Jéron, Thierry et al · SEDICI UNLP · 2006

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Jéron, Thierry et al

Editorial

SEDICI UNLP

Año

2006

Idioma

Inglés

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which the procedure terminates is characterised as bounded lookahead extender automata. It corresponds to automata for which, in any location, the observation of a bounded-length trace is enough to infer the first transition actually taken. We discuss applications of the algorithm to the verification, testing and diagnosis of infinite-state systems. 4th IFIP International Conference on Theoretical Computer Science Red de Universidades con Carreras en Informática (RedUNCI)

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Jéron, T. E. A. (2006). Symbolic determinisation of extended automata. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24398

MLA

Jéron, Thierry et al. Symbolic determinisation of extended automata. SEDICI UNLP, 2006. http://sedici.unlp.edu.ar/handle/10915/24398.

Chicago

Jéron, Thierry et al. 2006. Symbolic determinisation of extended automata. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/24398.

Harvard

Jéron, T. E. A. 2006, Symbolic determinisation of extended automata, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/24398 [Accessed 6 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Symbolic determinisation of extended automata

Autor / colaboradores: Jéron, Thierry et al

Editorial: SEDICI UNLP

Año de publicación: 2006

Idioma: Inglés

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; determinisation; symbolic automata