On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets.

Raymond R. Devillers Ronny Tredup

Published in: CoRR (2022)

Keyphrases

transition systems
concurrent systems
model checking
computational complexity
decision problems
temporal logic
hidden markov models
sufficient conditions
finite state
control flow
practical reasoning