Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael J.A. Smith
Compositional Abstractions for Long-Run Properties of Stochastic Systems
Related publications
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