Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences.

Lukas Burgholzer Robert Wille

Published in: ASP-DAC (2023)

Keyphrases

markov chain
website
shortest path
cellular automata
model checking
real time
data sets
decision making
image processing
digital libraries
evolutionary algorithm
probabilistic model
signature verification