Symbolic determinisation of extended automata

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

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Jéron, Thierry et al

Editore

SEDICI UNLP

Anno

2006

Lingua

Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

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)

Come citare

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 8 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Symbolic determinisation of extended automata

Autore / collaboratori: Jéron, Thierry et al

Editore: SEDICI UNLP

Anno di pubblicazione: 2006

Lingua: Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

Ciencias Informáticas; determinisation; symbolic automata