Login / Signup

Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables.

Changyan ZhouRatnesh 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