Amanote Research
Register
Sign In
Compositional Abstractions for Long-Run Properties of Stochastic Systems
doi 10.1109/qest.2011.37
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2011
Authors
Michael J.A. Smith
Publisher
IEEE
Related search
Abstractions for Distributed Systems (DPA 2008)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ideal Abstractions for Well-Structured Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Policy Iteration Algorithms for Zero-Sum Stochastic Differential Games With Long-Run Average Payoff Criteria
Journal of the Operations Research Society of China
Management Science
Applied Mathematics
Operations Research
Mathematics
CPAL: High-Level Abstractions for Safe Embedded Systems
Short Run and Long Run
A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems
Organisational Abstractions for the Analysis and Design of Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Long-Run Covariability
Formula Based Abstractions of Transition Systems for Real-Time Model Checking