Login / Signup

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams.

Arash VahidiBengt LennartsonMartin Fabian
Published in: CDC/ECC (2005)
Keyphrases
  • discrete event systems
  • binary decision diagrams
  • boolean functions
  • reinforcement learning
  • petri net
  • mathematical model
  • discrete event
  • telecommunication networks
  • symbolic model checking