Bisimulación en procesos de decisión de Markov sobre espacios continuos

Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2022.

Guardado en:

Detalles Bibliográficos
Autor principal:	Moroni, Martín Santiago
Otros Autores:	Sánchez Terraf, Pedro Octavio
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2023
Materias:	Teoría de conjuntos descriptiva Modelos y métodos de computación concurrente y distribuida Medidas e integrales en los espacios producto Proceso de Markov etiquetado Bisimilitud probabilista No-determinismo Lógicas no-clásicas Logic in computer science Descriptive set theory Models and methods for concurrent and distributed computing Measures and integrals in product spaces Modal Logic Labelled Markov processes
Acceso en línea:	http://hdl.handle.net/11086/547546
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Doctor en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2022.