A theory for the semantics of stochastic and non-deterministic continuous systems

Mostrar todas las versiones(2)

Preprint de capítulo del libro Lecture Notes in Computer Science book series (LNCS, volume 8453)

Guardado en:

Detalles Bibliográficos
Autores principales:	Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, Nicolás
Formato:	bookPart
Lenguaje:	Inglés
Publicado:	2021
Materias:	Nondeterministic Markov decision process Bisimulation Logic Continuous probabilities Model Check Logical characterization Probabilistic automaton Transition probability function Borel space
Acceso en línea:	http://hdl.handle.net/11086/19117
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Preprint de capítulo del libro Lecture Notes in Computer Science book series (LNCS, volume 8453)