Titlebook: Horizons of the Mind. A Tribute to Prakash Panangaden; Essays Dedicated to Franck Breugel,Elham Kashefi,Jan Rutten Book 2014 Springer Inte

arcane

Spinal-Tap

四目在模仿

Bisimulation for Markov Decision Processes through Families of Functional Expressions,tion takes the form of a pseudometric on the system states, cast in terms of the equivalence of a family of functional expressions evaluated on those states and interpreted as a real-valued modal logic. Our proof amounts to a slight modification of previous techniques [2,3] used to prove equivalence

conception

Random Measurable Selections,mized schedulers by averages of pure schedulers. Here, we explore the case of measurable multifunctions and their measurable selections. This involves constructing probability measures on the measurable space of measurable selections of a given measurable multifunction, which seems to be a fairly no

最低点

A Final Coalgebra for ,-regular Sequences,a final coalgebra, we obtain characterizations of .-regular sequences in terms of finite weighted automata, finite systems of behavioral differential equations, and recognizable power series. The latter characterization is obtained via an isomorphism of final coalgebras based on the .-adic numeratio

袭击

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata,istances are rational and that both approximation and exact computation of distances are in .. In the proofs, a generalization of the classical game-theoretic characterization of bisimilarity, given in terms of simple stochastic games, plays a central role.

一小块

Jocose

惊惶

弄皱