✦ LIBER ✦

Structural operational semantics for stochastic and weighted transition systems

✍ Scribed by Klin, Bartek; Sassone, Vladimiro

Book ID: 123462864
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 407 KB
Volume: 227
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2013.04.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The stochastic semantics and verificatio

The stochastic semantics and verification for periodic control systems

✍ MengFei Yang, Zheng Wang, GeGuang Pu, ShengChao Qin… 📂 Article 📅 2012 🏛 Science in China Press (SCP) 🌐 English ⚖ 830 KB

Basis Markov Partitions and Transition M

Basis Markov Partitions and Transition Matrices for Stochastic Systems

✍ Bollt, Erik; Góra, Paweł; Ostruszka, Andrzej; Życzkowski, Karol 📂 Article 📅 2008 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 487 KB

Double-Pullback Transitions and Coalgebr

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

✍ Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 208 KB

A Training Algorithm for Systems Describ

A Training Algorithm for Systems Described by Stochastic Transition Matrices

✍ Glorioso, R. M.; Grueneich, G. R. 📂 Article 📅 1971 🏛 Institute of Electrical and Electronics Engineers ⚖ 406 KB

Memory systems for structural and semant

Memory systems for structural and semantic knowledge of faces and buildings

✍ Friederike M. Engst; Manuel Martín-Loeches; Werner Sommer 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 778 KB

H∞Filtering for Stochastic Systems with

H∞Filtering for Stochastic Systems with Markovian Switching and Partly Unknown Transition Probabilities

✍ Ding, Yucai; Zhu, Hong; Zhong, Shouming; Zhang, Yuping; Zeng, Yong 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 575 KB