Login / Signup
Koopman operator approach for computing structure of solutions and Observability of non-linear finite state system.
Ramachandran Anantharaman
Virendra Sule
Published in:
CoRR (2020)
Keyphrases
</>
finite state
markov chain
model checking
markov decision processes
bayesian networks
average cost
transition systems
optimal solution