Sign in

Transformation from PLTL to automata via NFGs.

Cong TianZhenhua DuanMengfei Yang
Published in: J. Comb. Optim. (2015)
Keyphrases
  • finite automata
  • probabilistic model
  • finite state machines
  • linear transformation
  • information systems
  • three dimensional
  • formal language theory