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

Ejemplares similares

A theory for the semantics of stochastic and non-deterministic continuous systems
por: Budde, Carlos Esteban, et al.
Publicado: (2021)

Logical characterization of bisimulation for transition relations over probability distributions with internal actions
por: Lee, Matías David, et al.
Publicado: (2023)

Markov chains and stochastic stability /
por: Meyn, S. P. (Sean P.)
Publicado: (1993)

Probabilistic Interface Automata
por: Pavese, E., et al.

Probabilistic Interface Automata
Publicado: (2016)

Inducción y probabilidad /
por: Black, Max, 1909-1988
Publicado: (1984)

Less is more: Estimating probabilistic rewards over partial system explorations
por: Pavese, E., et al.

Less is more: Estimating probabilistic rewards over partial system explorations
Publicado: (2016)

Rooted branching bisimulation as a congruence for probabilistic transition systems
por: Lee, Matías David, et al.
Publicado: (2022)

Rooted branching bisimulation as a congruence for probabilistic transition systems
por: Lee, Matías David, et al.
Publicado: (2022)

Handbook of mathematical induction : theory and applications /
por: Gunderson, David S.
Publicado: (2010)

Generalized statistical complexity measures: Geometrical and analytical properties
por: Martin, M.T., et al.

Generalized statistical complexity measures: Geometrical and analytical properties
Publicado: (2006)

Pensando antes de actuar : fundamentos de elecci�on racional /
por: Rumbos Pellicer, Beatriz
Publicado: (2010)

Specifying event-based systems with a counting fluent temporal logic
por: Regis, G., et al.

Specifying event-based systems with a counting fluent temporal logic
Publicado: (2015)

Expressive power and decidability for memory logics
por: Areces, C., et al.

Expressive power and decidability for memory logics
por: Areces, Carlos Eduardo, et al.
Publicado: (2008)

Stochastic processes. /
por: Parzen, Emanuel, 1929-
Publicado: (1964)

Software quality metrics aggregation
por: Dasso, Aristides, et al.
Publicado: (2012)

Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems
por: Ambrossio, Agustín, et al.
Publicado: (2011)

Probability on discrete structures /
Publicado: (2004)

Probability approximations via the Poisson clumping heuristic /
por: Aldous, D. J. (David J.)
Publicado: (2010)

Caracterización y definibilidad en fragmentos modales de primer orden
por: Carreiro, Facundo Matías
Publicado: (2010)

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
por: Areces, C., et al.

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
Publicado: (2010)

A similarity-based Lukassiewicz's many valued modal logic
por: Rodriguez, Ricardo O.
Publicado: (1998)

Towards fully observable non-deterministic planning as assumption-based automatic synthesis
por: Sardina, S., et al.

Towards fully observable non-deterministic planning as assumption-based automatic synthesis
Publicado: (2015)

Equivalent Markov processes under gauge group
por: Caruso, M., et al.

Equivalent Markov processes under gauge group
Publicado: (2015)

Characterization, definability and separation via saturated models
por: Areces, C., et al.

Characterization, definability and separation via saturated models
por: Areces, Carlos Eduardo, et al.
Publicado: (2014)

Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations
por: Bou, F., et al.

Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations
Publicado: (2009)

Geometric probability theory and Jaynes's methodology
por: Holik, F., et al.

Geometric probability theory and Jaynes's methodology
Publicado: (2016)

Residuated lattices as an algebraic semantics for paraconsistent nelson's logic
por: Busaniche, M., et al.

Residuated lattices as an algebraic semantics for paraconsistent nelson's logic
por: Busaniche, Manuela
Publicado: (2009)

Tableaux and model checking for memory logics
por: Areces, C., et al.