Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Miner, Andrew - Department of Computer Science, Iowa State University
Efficient state space generation of GSPNs using decision diagrams Andrew S. Miner
Saturation for a general class of models Andrew S. Miner
Implicit GSPN reachability set generation using decision diagrams Andrew S. Miner
Using the exact state space of a Markov model to compute approximate stationary measures
Computing response time distributions using stochastic Petri nets and matrix Andrew S. Miner
DATA STRUCTURES FOR THE ANALYSIS OF LARGE STRUCTURED MARKOV MODELS
Efficient solution of GSPNs using Canonical Matrix Diagrams Andrew S. Miner
Improving efficiency of implicit Markov chain state classification Andrew S. Miner Shuxing Cheng
Using distance to improve implicit state classification of Markov chains Andrew Miner Shuxing Cheng
NUMERICAL SOLUTION of MARKOV CHAINS, p. 14 Comparing implicit representations of large CTMCs
Symbolic Representations and Analysis of Large Probabilistic Systems
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams1
DATA STRUCTURES FOR THE ANALYSIS OF LARGE STRUCTURED MARKOV MODELS
