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
id I10-R141-11086-19117
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Inglés
topic Nondeterministic Markov decision process
Bisimulation
Logic
Continuous probabilities
Model Check
Logical characterization
Probabilistic automaton
Transition probability function
Borel space
spellingShingle Nondeterministic Markov decision process
Bisimulation
Logic
Continuous probabilities
Model Check
Logical characterization
Probabilistic automaton
Transition probability function
Borel space
Budde, Carlos Esteban
D'Argenio, Pedro Ruben
Sánchez Terraf, Pedro Octavio
Wolovick, Nicolás
A theory for the semantics of stochastic and non-deterministic continuous systems
topic_facet Nondeterministic Markov decision process
Bisimulation
Logic
Continuous probabilities
Model Check
Logical characterization
Probabilistic automaton
Transition probability function
Borel space
description Preprint de capítulo del libro Lecture Notes in Computer Science book series (LNCS, volume 8453)
format bookPart
author Budde, Carlos Esteban
D'Argenio, Pedro Ruben
Sánchez Terraf, Pedro Octavio
Wolovick, Nicolás
author_facet Budde, Carlos Esteban
D'Argenio, Pedro Ruben
Sánchez Terraf, Pedro Octavio
Wolovick, Nicolás
author_sort Budde, Carlos Esteban
title A theory for the semantics of stochastic and non-deterministic continuous systems
title_short A theory for the semantics of stochastic and non-deterministic continuous systems
title_full A theory for the semantics of stochastic and non-deterministic continuous systems
title_fullStr A theory for the semantics of stochastic and non-deterministic continuous systems
title_full_unstemmed A theory for the semantics of stochastic and non-deterministic continuous systems
title_sort theory for the semantics of stochastic and non-deterministic continuous systems
publishDate 2021
url http://hdl.handle.net/11086/19117
work_keys_str_mv AT buddecarlosesteban atheoryforthesemanticsofstochasticandnondeterministiccontinuoussystems
AT dargeniopedroruben atheoryforthesemanticsofstochasticandnondeterministiccontinuoussystems
AT sanchezterrafpedrooctavio atheoryforthesemanticsofstochasticandnondeterministiccontinuoussystems
AT wolovicknicolas atheoryforthesemanticsofstochasticandnondeterministiccontinuoussystems
AT buddecarlosesteban theoryforthesemanticsofstochasticandnondeterministiccontinuoussystems
AT dargeniopedroruben theoryforthesemanticsofstochasticandnondeterministiccontinuoussystems
AT sanchezterrafpedrooctavio theoryforthesemanticsofstochasticandnondeterministiccontinuoussystems
AT wolovicknicolas theoryforthesemanticsofstochasticandnondeterministiccontinuoussystems
bdutipo_str Repositorios
_version_ 1764820391835992066

Ejemplares similares