Login / Signup
Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.
Mahmoud Salamati
Sadegh Soudjani
Rupak Majumdar
Published in:
CoRR (2019)
Keyphrases
</>
transitive closure
neural network
state space
database
databases
search engine
natural language
mobile devices