Litcius/Paper detail

Further results on bilinear behavior formulation of finite state machines

Jumei Yue, Yongyi Yan, Zengqiang Chen, He Deng

2021Science China Information Sciences11 citationsDOI

Topics & Concepts

Bilinear interpolationFinite-state machineFinite stateState (computer science)Applied mathematicsMathematicsComputer scienceAlgorithmStatisticsMarkov chainFormal Methods in VerificationPetri Nets in System ModelingMachine Learning and Algorithms