3 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
Eric Alsmann, Martin Lange
We analyse the complexity of the satisfiability problem ssmSAT for State Space Models (SSM), which asks whether an input sequence can lead the model to an accepting configuration.…