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

Ejemplares similares

Ejemplares similares