Sign in
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables.
Changyan Zhou
Ratnesh Kumar
Published in:
IEEE Trans Autom. Sci. Eng. (2013)
Keyphrases
</>
expert systems
intelligent systems
random variables
petri net
finite automata
data sets
machine learning
knowledge based systems