Keyword: automata

Found 3 papers in total
Learning Cycle Length Through Finite Automata
Learning Cycle Length Through Finite Automata
2013,
We study the space‐and‐time automaton‐complexity of two related...
The numerical solution of stochastic automata networks
The numerical solution of stochastic automata networks
1995,
Stochastic Automata Networks (SANs) have recently received attention in the literature...
A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models
A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models
1998,
The supervisory controller for a robot cell is specified as a dynamic control policy...
Papers per page: