Sign in
Computation of admissible marking sets in weighted state machines by dynamic programming.
Ziyue Ma
Zhiwu Li
Alessandro Giua
Published in:
CDC (2017)
Keyphrases
</>
state machines
dynamic programming
state machine
state space
petri net
recurrent networks