3,334 followers
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement https://t.co/4RrKBNOoxx
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement https://t.co/4RrKBNOoxx
Property-driven State-Space Coarsening for Continuous Time Markov Chains https://t.co/OQ0ndP6O3f #arxiv
Property-driven State-Space Coarsening for Continuous Time Markov Chains. https://t.co/xslp44X3ex
#arXiv #stat_ML "Property-driven State-Space Coarsening for Continuous Time Markov Chains. (arXiv:1606.01111v1 [cs… https://t.co/TBJyiXf4e7